SWiK
» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with fp + types

Well Quite

Haskell: del.icio.us tag/haskell

Existential type - HaskellWiki

Haskell: del.icio.us tag/haskell

Generalised Algebraic Data Types, Phantom Types, and Dependent Types

Haskell: del.icio.us tag/haskell

Computational Semantics and Type Theory

Haskell: del.icio.us tag/haskell

Computational Semantics and Type Theory

With code in Haskell!

Haskell: del.icio.us tag/haskell

The Implementation of Functional Programming Languages (1987) - Peyton-Jones

Out-of-print book available online.

Haskell: del.icio.us tag/haskell

Do we Need Dependent Types? (2001, summary) - Fridlender, Indrika

Presents an interesting solution to the zipWithN problem in Haskell (and other Hindley-Milner systems).

Haskell: del.icio.us tag/haskell

Type-Indexed Data Types (2001) - Hinze, Jeuring, Löh

Haskell: del.icio.us tag/haskell

Polytypic Values Possess Polykinded Types (2000) - Hinze

Haskell: del.icio.us tag/haskell

GADTs + Extensible Kinds = Dependent Programming (2005) - Sheard, Hook, Linger

Also see: Putting Curry-Howard to Work (2005) - Sheard.

Haskell: del.icio.us tag/haskell

Faking It: Simulating Dependent Types in Haskell (2001) - McBride

Haskell: del.icio.us tag/haskell

System CT

Haskell: del.icio.us tag/haskell