Axioms for control operators in the CPS hierarchy Yukiyoshi Kameyama OriginalPaper 24 October 2007 Pages: 339 - 369
A static simulation of dynamic delimited control Chung-chieh Shan OriginalPaper 24 October 2007 Pages: 371 - 401
A proof-theoretic foundation of abortive continuations Zena M. AriolaHugo HerbelinAmr Sabry OriginalPaper 24 October 2007 Pages: 403 - 429
Implementation and use of the PLT scheme Web server Shriram KrishnamurthiPeter Walton HopkinsMatthias Felleisen OriginalPaper 24 October 2007 Pages: 431 - 460