Continuations - PDFSEARCH.IO - Document Search Engine

Continuations
Results: 128

#	Item
71	LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 83–110, 1994 c 1994 Kluwer Academic Publishers – Manufactured in The Netherlands Subcontinuations∗ ROBERT HIEB† Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:11:46 Control flow Continuations Lisp programming language Subroutines Functional programming Continuation Call-with-current-continuation Delimited continuation Lambda calculus Software engineering Computing Computer programming
72	Continuations The interpreter now consists of two main functions: Control Constructs Now that we’ve made control explicit, we can explore new control constructs: Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Computer programming Procedural programming languages Exception handling ALGOL 68 Continuation Main function Env Computing Software engineering Control flow
73	Representing Control in the Presence of First-Class Continuations ∗ Robert Hieb, R. Kent Dybvig, Carl Bruggeman Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-16 00:34:27 Subroutines Control flow Software bugs Memory management Recursion Call stack Stack Tail call Continuation Software engineering Computing Computer programming
74	Delimited Control in OCaml, Abstractly and Concretely System Description http://okmij.org/ftp/Computation/Continuations.html FLOPS 2010 Add to Reading List Source URL: okmij.org Language: English - Date: 2010-05-04 22:13:58 Control flow Functional languages Continuations Delimited continuation OCaml Caml International Conference on Functional Programming ML Software engineering Computer programming Computing
75	Delimited continuations in natural language Quantification and polarity sensitivity Chung-chieh Shan Harvard University 33 Oxford Street Cambridge, MAUSA Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:26 Binding Generalized quantifier Quantification Entailment Constructible universe First-order logic Denotational semantics Symbol Ground expression Logic Semantics Mathematical logic
76	Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-10-19 09:34:25 Functional languages Procedural programming languages Control flow Lisp programming language Subroutines Continuation Operational semantics Exception handling Standard ML Software engineering Computing Computer programming
77	Processes vs. User-Level Threads in Scsh Martin Gasbichler Michael Sperber ¨ Tubingen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:28 Threads Concurrency control Parallel computing Scheduling Continuations Multithreading Umask Call-with-current-continuation Lock Computing Concurrent computing Software engineering
78	Interpreter with Continuations (define (eval-expression exp env cont) (cases expression exp (lit-exp (datum) (apply-cont cont datum)) (var-exp (id) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Control flow Memory management Procedural programming languages Subroutines Continuation Garbage collection D Closure Eval Software engineering Computing Computer programming
79	Zipper-based File/OS1 An extra-program demo at the Haskell Workshop 2005 We present a file server/OS where threading and exceptions are all realized via delimited continuations. There are no unsafe operations, no GHC le Add to Reading List Source URL: okmij.org Language: English - Date: 2011-02-08 06:26:21 Zipper User interfaces Ls Cd Rm Mv Command Tree traversal Stat Computing Functional programming Ln
80	Axiomatizing Higher Level Delimited Continuation Yukiyoshi Kameyama Institute of Information Sciences and Electronics University of Tsukuba Tsukuba, Japan and Japan Science and Technology Agency Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:54 Computer programming Mathematics Delimited continuation Continuation-passing style Function Mathematical logic Sheaf Continuation Software engineering Continuations Control flow

UPDATE