Type Theory and Functional Programming (1991)

by S Thomson