お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

このエントリーをはてなブックマークに追加

5月

22

 PFPL輪講会#13

7.3 Type Safety, Revisited

募集内容

参加枠1

無料

先着順
5/10人

申込者
lawtwai
KanSAKAMOTO
Mizunashi_Mana
fishii
ymorii47
申込者一覧を見る
開催日時
2020/05/22(金) 22:00 ～ 
2020/05/23(土) 00:00 
Googleカレンダー icsファイル
募集期間

2020/05/16(土) 10:30 〜
2020/05/22(金) 22:00まで

会場

Discord

基礎理論およびDM

マップで見る 会場のサイトを見る

イベントの説明

概要

"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。

目的

プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。

内容

第13回

範囲

7.3 Type Safety, Revisited ~

担当

shinichi さん

資料 資料をもっと見る／編集する

資料が投稿されると、最新の3件が表示されます。

フィード

lawtwai

lawtwai さんが PFPL輪講会#13 を公開しました。

2020/05/15 23:29

PFPL輪講会#13 を公開しました！

グループ

Haskell with Skype

イベント数 162回

メンバー数 59人

終了

2020/05/22(金)

22:00 〜 2020/05/23(土) 00:00
Googleカレンダー icsファイル

募集期間
2020/05/16(土) 10:30 〜
2020/05/22(金) 22:00

イベントへのお問い合わせ

会場

Discord

基礎理論およびDM

管理者

参加者（5人）

lawtwai

lawtwai

PFPL輪講会#13 に参加を申し込みました！

KanSAKAMOTO

KanSAKAMOTO

PFPL輪講会#13 に参加を申し込みました！

Mizunashi_Mana

Mizunashi_Mana

PFPL輪講会#13に参加を申し込みました！

fishii

fishii

PFPL輪講会#13 に参加を申し込みました！

ymorii47

ymorii47

I joined PFPL輪講会#13!

参加者一覧（5人）