Continuations - PDFSEARCH.IO - Document Search Engine

Continuations
Results: 128

#	Item
51	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
52	Mobile Reactive Programming in ULM ´ Stephane Epardaud Inria Sophia-Antipolis 2004 route des Lucioles - BP 93 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Subroutines Concurrency control Continuations Swabian League Tübingen Ulm Esterel Closure Global variable Software engineering Computer programming Computing
53	Stackless Python -- Continuations On Stage Christian Tismer Mission Impossible 5oftware Team _ Add to Reading List Source URL: zope.stackless.com Language: English - Date: 2002-07-08 23:11:35 Concurrent computing Stackless Python Coroutine Continuation Python Generator Computing Software engineering Computer programming
54	Shift to control Chung-chieh Shan Harvard University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Continuations Lambda calculus Control flow Recursion Delimited continuation Programming language semantics Continuation-passing style Continuation Call-with-current-continuation Software engineering Computer programming Computing
55	¨ T ECHNOLOGIE K ARLSRUHER I NSTITUT F UR ¨ F UR ¨ I NFORMATIK FAKULT AT Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional programming Subroutines Continuations Programming paradigms Continuation-passing style Data types Control flow analysis Closure Monad Software engineering Computing Computer programming
56	Exceptional Continuations in JavaScript Florian Loitsch Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex, France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:05 Subroutines Control flow Continuation Goto Closure Call-with-current-continuation Tail call Exception handling Scope Software engineering Computing Computer programming
57	Mˆeler combinateurs, continuations et EBNF pour une analyse syntaxique efficace en OCaml Rodolphe Lepigre et Christophe Raffalli LAMA, UMR 5127 CNRS, Universit´e Savoie Mont BlancLe Bourget-du-Lac CEDEX, France Add to Reading List Source URL: lepigre.fr Language: French - Date: 2014-10-13 07:30:36
58	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Formalizing Implementation Strategies for First-Class Continuations Formalizing Implementation Strategies for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-04-03 02:29:20 Subroutines Continuations Control flow Stack Coroutine Call-with-current-continuation 2CC Call stack Software engineering Computer programming Computing
59	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
60	How to Add Threads to a Sequential Language Without Getting Tangled Up Michael Sperber∗ Martin Gasbichler Eric Knauel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Functional languages Continuations Functional programming Continuation Control flow Call-with-current-continuation Scheme Futures and promises Software engineering Computing Computer programming