Operational interpretations of an extension of F-omega with control operators (1996)

by Robert Harper, Mark Lillibridge
Venue:Journal of Functional Programming