Continuation semantics: Abstract machines and control operators. Unpublished manuscript (1998)

by Streicher, B Reus