Combining Continuations with Other Effects (2004)

by J M E Hyland, P B Levy, G D Plotkin, A J Power
Venue:University of Birmingham