An Introduction to Landin’s “A Generalization of Jumps and Labels (1998)

by H Thielecke
Venue:Higher-Order and Symbolic Computation