Control Operators, Hierarchies, and Pseudo-Classical Type Systems: A-Translation at Work (1992)

by C Murthy
Venue:In: ACM workshop on Continuations