Operational interpretations of an extension of f ! with control operators (1996)

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