Continuations - PDFSEARCH.IO - Document Search Engine

Continuations
Results: 128

#	Item
121	Theory and Applications of Categories, Vol. 10, No. 12, 2002, pp. 248–300. SOBER SPACES AND CONTINUATIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2002-07-30 13:36:46 Logic Functions and mappings Formal methods Models of computation Lambda calculus Theoretical computer science Symbol Interpretation Function Mathematics Mathematical logic Computability theory
122	shift/reset 23 Add to Reading List Source URL: pllab.is.ocha.ac.jp Language: English - Date: 2011-09-23 03:42:06 Functional languages Continuations Control flow Delimited continuation Standard ML Reset OCaml Caml Computing Software engineering Computer programming
123	On Evaluation Contexts, Continuations, and the Rest of the Computation Olivier Danvy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:11 Control flow Continuations Functional programming Type theory Functional languages Eval Standard ML Defunctionalization Delimited continuation Software engineering Computing Computer programming
124	PDF Document Add to Reading List Source URL: www.inf.puc-rio.br Language: English - Date: 2004-06-09 14:23:20 Control flow Scripting languages Subroutines Concurrent computing Coroutine Generator Continuations Python Delimited continuation Software engineering Computing Computer programming
125	PDF Document Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2007-01-11 10:22:54 Continuations HTTP Control flow Scheme programming language Call-with-current-continuation N1 POST HTTP cookie Scheme Software engineering Computing Computer programming
126	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-08-19 13:10:06 Data types Procedural programming languages Continuations Subroutines Control flow Extensionality Call-with-current-continuation Function C Software engineering Computer programming Computing
127	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2003-12-10 09:33:51 Continuations Quantification Semantics Predicate logic Control flow Generalized quantifier Coordination Sentence First-order logic Linguistics Software engineering Syntax
128	PDF Document Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2013-07-12 18:01:52 Functional programming Computer programming Computing Software engineering Continuation-passing style Continuations

UPDATE