Continuation-passing style - PDFSEARCH.IO - Document Search Engine

Continuation-passing style
Results: 47

#	Item
1	Stream Fusion in Continuation Passing Style Ben Lippmeier SAWDAP BM-1 Add to Reading List Source URL: benl.ouroborus.net - Date: 2016-03-17 21:17:32
2	Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:59 Software engineering Computer programming Computing Functional languages Data types Functional programming Subroutines Procedural programming languages Eval Standard ML Const Continuation-passing style
3	Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-07-01 11:20:10 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
4	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 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
5	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
6	From delimited CPS to polarisation Guillaume Munch-Maccagnoni∗ Introduction Abstract The understanding of continuation-passing style (CPS) Add to Reading List Source URL: guillaume.munch.name Language: English
7	A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Control flow Subroutines Computability theory Theoretical computer science Functional programming Continuation-passing style Lambda calculus Continuation Direct style Eval Stack Static single assignment form
8	BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-13 09:59:00 Computational complexity theory Continuation-passing style Continuations Functional programming Lambda calculus Static single assignment form Reduction Theoretical computer science Applied mathematics Software engineering
9	BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-05-26 17:46:54
10	BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-22 05:30:06 Continuations Functional programming Continuation-passing style Programming language semantics Eval Evaluation strategy Continuation Lambda calculus Operational semantics Software engineering Computing Control flow