CiteSeerX — Related by cluster: The Type System of a Higher-Order Logic Programming Language

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

Cached

Download Links

[ftp.cs.duke.edu]

Other Repositories/Bibliography

DBLP

by Gopalan Nadathur , Frank Pfenning

Venue:	TYPES IN LOGIC PROGRAMMING
Citations:	25 - 9 self

Document Versions

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