21–24 Oct.). Typing haskell in haskell. Pages 68–78 of (1999)

by Mark P Jones
Venue:Department of Computer Science, University of Utrecht