A semantic basis for Quest: (Extended abstract (1990)

by Luca Cardelli, Giuseppe Longo
Venue:In ACM Conference on Lisp and Functional Programming