<--- Back to Details
First PageDocument Content
Continuations / Lambda calculus / Control flow / Recursion / Delimited continuation / Programming language semantics / Continuation-passing style / Continuation / Call-with-current-continuation / Software engineering / Computer programming / Computing
Date: 2010-10-22 08:05:32
Continuations
Lambda calculus
Control flow
Recursion
Delimited continuation
Programming language semantics
Continuation-passing style
Continuation
Call-with-current-continuation
Software engineering
Computer programming
Computing

Shift to control Chung-chieh Shan Harvard University

Add to Reading List

Source URL: repository.readscheme.org

Download Document from Source Website

File Size: 174,51 KB

Share Document on Facebook

Similar Documents

Stream Fusion in Continuation Passing Style Ben Lippmeier SAWDAP BM-1

DocID: 1tK5O - View Document

Software engineering / Computer programming / Computing / Functional languages / Data types / Functional programming / Subroutines / Procedural programming languages / Eval / Standard ML / Const / Continuation-passing style

Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

DocID: 1r6Yp - View Document

Software engineering / Computer programming / Continuations / Subroutines / Memory management / Control flow / Models of computation / Continuation-passing style / Call stack / Call-with-current-continuation / Continuation / Escape analysis

Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University

DocID: 1qVYN - View Document

Lambda calculus / Functional programming / Theoretical computer science / Logic in computer science / Continuation-passing style / Combinatory logic / Eval / Monad / Derivative / Free variables and bound variables / Lambda calculus definition / A-normal form

Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science

DocID: 1ppe8 - View Document

Software engineering / Logic / Declarative programming / Models of computation / Computability theory / Lambda calculus / Theoretical computer science / Continuation-passing style / Free variables and bound variables / Substitution

ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

DocID: 1nx1t - View Document