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

by C Elliott, F Pfenning
Venue:Topics in Advanced Language Implementation