Operational Interpretations of an Extension of F-omega with Control Operators (1995)

by Robert Harper , Mark Lillibridge
Venue:Journal of Functional Programming
Citations:1 - 1 self