型システム
「圏論とプログラミング」発表スライドメモ #圏論 - Qiita
「型システム入門」の先へ:TypeScriptの型システムのいくつかの側面 | 雑記帳
Research papers/Type systems - HaskellWiki
A decade of developing a programming language
型とカインド|Haskellでの型レベルプログラミング
Typelevel FizzBuzz in Scala
型レベルプログラミング入門
圏論 型理論