12月
4
PFPL輪講会#38
20.3 ~
イベントの説明
概要
"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。
目的
プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。
内容
- 第01回の内容 を参照してください
第38回
範囲
20.3 Self-Reference ~
注意: Chapter 21 まで進むことはありません
担当
Mizunashi_Mana さん
今後の予定
2020年内は,Chapter 20 まで とします。
Chapter 21 以降は,年明け2021年からとします
日程と担当
第 N 回 | 日付 | 担当 | 備考 |
---|---|---|---|
第39回 | 2020-12-11? | ymorii47 さん | Chapter 20 が終わっていない場合 |
第40回 | 2021-01-?? | lawtwai | 年明け以降の日程は12月中に決定 |
担当者の都合や体調により担当できない場合は,別の方に代わっていただいたり,その週はお休みにすることもあります。そのような場合は,connpass (Twitter連携) と Discord で告知します。
章の進行順 (2020-10-23 暫定版)
-
Chapter 18. Higher Kinds ~ Chapter 23. Hybrid Typing: 基本項目であるため,書籍の掲載順
-
Chapter 46. Equality for System T ~ Chapter 48. Parametricity: Parametricity の理解
-
Chapter.24 ~ : 未定(Chapter 48 に入るくらいの時期に決める)
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。