Lambda the Ultimate

inactiveTopic Typing Haskell in Haskell
started 2/13/2001; 12:19:02 AM - last post 2/13/2001; 12:19:02 AM
andrew cooke - Typing Haskell in Haskell  blueArrow
2/13/2001; 12:19:02 AM (reads: 361, responses: 0)
Typing Haskell in Haskell
A good in-depth explanation of Haskell types (presented as Haskell code that could implement the system).
Posted to functional by andrew cooke on 2/13/01; 12:19:46 AM