<--- Back to Details
First PageDocument Content
Functional programming / Lambda calculus / Type theory / Data types / Theoretical computer science / Type system / Continuation-passing style / Simply typed lambda calculus / C Sharp / Software engineering / Computing / Computer programming
Date: 1996-10-15 05:57:34
Functional programming
Lambda calculus
Type theory
Data types
Theoretical computer science
Type system
Continuation-passing style
Simply typed lambda calculus
C Sharp
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: www.brics.dk

Download Document from Source Website

File Size: 415,82 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