<--- Back to Details
First PageDocument Content
Subroutines / Functional programming / Computer performance / Software optimization / Programming paradigms / Memoization / XSB / Continuation-passing style / Prolog / Software engineering / Computing / Computer programming
Date: 2012-08-10 19:21:42
Subroutines
Functional programming
Computer performance
Software optimization
Programming paradigms
Memoization
XSB
Continuation-passing style
Prolog
Software engineering
Computing
Computer programming

Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine

Add to Reading List

Source URL: repository.readscheme.org

Download Document from Source Website

File Size: 128,42 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