型理論に少しでも関係する任意の話題を受け付けています。初心者向け記事歓迎です!
型理論 Advent Calendar 2021
8 participant
59 subscriber
0 likes
Category:Science & Theory
How to join the calendar
You can join the calendar by selecting an available date and registering the URL of the article you wish to link to. If a slot is available, you can go back to a past date to join!
Series 1
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
---|---|---|---|---|---|---|
28 | 29 | 30 | 部分型入門 | 型理論入門 | Join calendar | |
Join calendar | Join calendar | Girardのパラドックス | Join calendar | Join calendar | 列多相によるレコード型とその型推論アルゴリズム | |
Join calendar | Join calendar | Join calendar | Join calendar | session typeの基礎 | ||
シークエント計算の計算体系 | Join calendar | Join calendar | 書籍レベルの話をベースに何か再構成できれば | Join calendar | 依存型理論について考える 初歩篇 | Log-basedなBidirectional TypecheckingにEffectを導入する |
- 部分型入門
- 型理論入門
Join calendar
Join calendar
Join calendar
- Girardのパラドックス
Join calendar
Join calendar
- 列多相によるレコード型とその型推論アルゴリズム
Join calendar
Join calendar
Join calendar
Join calendar
- session typeの基礎
- シークエント計算の計算体系
Join calendar
Join calendar
- 書籍レベルの話をベースに何か再構成できれば
Join calendar
- 依存型理論について考える 初歩篇
- Log-basedなBidirectional TypecheckingにEffectを導入する
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
---|---|---|---|---|---|---|
28 | 29 | 30 | 部分型入門 | 型理論入門 | Join calendar | |
Join calendar | Join calendar | Girardのパラドックス | Join calendar | Join calendar | 列多相によるレコード型とその型推論アルゴリズム | |
Join calendar | Join calendar | Join calendar | Join calendar | session typeの基礎 | ||
シークエント計算の計算体系 | Join calendar | Join calendar | 書籍レベルの話をベースに何か再構成できれば | Join calendar | 依存型理論について考える 初歩篇 | Log-basedなBidirectional TypecheckingにEffectを導入する |
- 部分型入門
- 型理論入門
Join calendar
Join calendar
Join calendar
- Girardのパラドックス
Join calendar
Join calendar
- 列多相によるレコード型とその型推論アルゴリズム
Join calendar
Join calendar
Join calendar
Join calendar
- session typeの基礎
- シークエント計算の計算体系
Join calendar
Join calendar
- 書籍レベルの話をベースに何か再構成できれば
Join calendar
- 依存型理論について考える 初歩篇
- Log-basedなBidirectional TypecheckingにEffectを導入する
You can increase the number of series when Calendar 1 is filled with more than 10 articles.