The Type System of a Higher-Order Logic Programming Language (1992)

Cached

Download Links

by Gopalan Nadathur , Frank Pfenning
Venue:TYPES IN LOGIC PROGRAMMING
Citations:27 - 9 self