A Semi-Functional Implementation of a Higher-Order Logic Programming Language (1991)

by Conal Elliott , Frank Pfenning
Venue:Topics in Advanced Language Implementation
Citations:37 - 0 self