Foxtrot

Working Desk

• Scheme

Haskell

• 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

My Web Site

http://kudagitsu.net/