型理論 Advent Calendar 2021
Participant8People
Subscriber61People
0
Category:Science & Theory
Creator:@elpinal
型理論に少しでも関係する任意の話題を受け付けています。初心者向け記事歓迎です!
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
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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を導入する |
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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.