First Page | Document Content | |
---|---|---|
![]() Date: 2010-10-22 08:05:32Continuations Lambda calculus Control flow Recursion Delimited continuation Programming language semantics Continuation-passing style Continuation Call-with-current-continuation Software engineering Computer programming Computing | Add to Reading List |
![]() | Stream Fusion in Continuation Passing Style Ben Lippmeier SAWDAP BM-1DocID: 1tK5O - View Document |
![]() | Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting ComputationDocID: 1r6Yp - View Document |
![]() | Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern UniversityDocID: 1qVYN - View Document |
![]() | Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer ScienceDocID: 1ppe8 - View Document |
![]() | ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged LanguagesDocID: 1nx1t - View Document |