Lambda the Ultimate
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
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