The Type System of a Higher-Order Logic Programming Language (1992)
by
Gopalan Nadathur
,
Frank Pfenning
| Venue: | TYPES IN LOGIC PROGRAMMING |
| Citations: | 25 - 9 self |
BibTeX
@INPROCEEDINGS{Nadathur92thetype,
author = {Gopalan Nadathur and Frank Pfenning},
title = {The Type System of a Higher-Order Logic Programming Language},
booktitle = {TYPES IN LOGIC PROGRAMMING},
year = {1992},
pages = {245--283},
publisher = {MIT Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
