An introduction to Landin’s “A generalization of jumps and labels (1998)

by Hayo Thielecke
Venue:Higher-Order and Symbolic Computation