Control operators, hierarchies, and pseudo-classical type systems: A-translation at work (1992)

by Chetan R Murthy
Venue:Department of Computer Science, Stanford University