Type Theory and Functional Programming (1991)

by Simon Thompson , C Simon Thompson
Citations:111 - 4 self