Typing Haskell in Haskell (1999)

by Mark P. Jones
Venue:Haskell Workshop