Typing Haskell in Haskell. Meijer, Erik (ed (1999)

by Mark Jones
Venue:Proceedings of the