Classical logic, continuation semantics and abstract machines (1998)

by Thomas Streicher, Bernhard Reus
Venue:Journal of Functional Programming