型 Advent Calendar 2019

10
129
135

型についてのAdvent Calendarです!

型理論に関する任意の話題を受け付けています!
初心者向けから上級者向けまでどんなものでもどうぞ!

例:

  • effect
  • coeffect
  • algebraic effect
  • 線形型
  • 依存型
  • refinement type
  • gradual typing
  • modal type theory
  • GADT
  • 型付きアセンブリ言語
  • 型クラス
  • 型推論
  • manifest contract
  • alias type
  • HoTT

Category:
Owner: elpinal elpinal

Calendar Sponsor PR

型 Advent Calendar is looking for participants