利用者:Foxtrot
Working Desk
[編集]- Haskell/圏論 - en:Haskell/Category theory
- 利用者:Foxtrot/翻訳/Haskell/不動点と再帰 - Haskell/不動点と再帰 - en:Haskell/Fix and recursion
- 利用者:Foxtrot/翻訳/Haskell/カリー=ハワード同型 - Haskell/カリー=ハワード同型 - en:Haskell/The Curry-Howard isomorphism
- 利用者:Foxtrot/翻訳/Haskell/存在量化された型 - Haskell/存在量化された型 - en:Haskell/Existentially quantified types