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

Document Versions

The Type System of a Higher-Order Logic Programming Language –Gopalan Nadathur, Frank Pfenning — 1992 — TYPES IN LOGIC PROGRAMMING