The Qiita Advent Calendar 2021 is supported by the following companies, organizations, and services.

TwilioT-DASHfreeeMicrosoftUdemySnykV-CUBEVonage JapanWorks Human IntelligenceCData SoftWare JapanカオナビPOTEPAN CAMP

型理論 Advent Calendar 2021

Participant8People
Subscriber61People
0
Category:Science & Theory
Creator

型理論に少しでも関係する任意の話題を受け付けています。初心者向け記事歓迎です!

Series 1

SunMonTueWedThuFriSat

28

29

30

部分型入門
型理論入門
Girardのパラドックス
列多相によるレコード型とその型推論アルゴリズム
session typeの基礎
シークエント計算の計算体系
書籍レベルの話をベースに何か再構成できれば
依存型理論について考える 初歩篇
Log-basedなBidirectional TypecheckingにEffectを導入する
部分型入門
型理論入門
Girardのパラドックス
列多相によるレコード型とその型推論アルゴリズム
session typeの基礎
シークエント計算の計算体系
書籍レベルの話をベースに何か再構成できれば
依存型理論について考える 初歩篇
Log-basedなBidirectional TypecheckingにEffectを導入する
SunMonTueWedThuFriSat

28

29

30

部分型入門
型理論入門
Girardのパラドックス
列多相によるレコード型とその型推論アルゴリズム
session typeの基礎
シークエント計算の計算体系
書籍レベルの話をベースに何か再構成できれば
依存型理論について考える 初歩篇
Log-basedなBidirectional TypecheckingにEffectを導入する
部分型入門
型理論入門
Girardのパラドックス
列多相によるレコード型とその型推論アルゴリズム
session typeの基礎
シークエント計算の計算体系
書籍レベルの話をベースに何か再構成できれば
依存型理論について考える 初歩篇
Log-basedなBidirectional TypecheckingにEffectを導入する
You can increase the number of series when Calendar 1 is filled with more than 10 articles.

The Qiita Advent Calendar 2021 is supported by the following companies, organizations, and services.

TwilioT-DASHfreeeMicrosoftUdemySnykV-CUBEVonage JapanWorks Human IntelligenceCData SoftWare JapanカオナビPOTEPAN CAMP