Delimited continuation - PDFSEARCH.IO - Document Search Engine

Delimited continuation
Results: 42

#	Item
1	Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Control flow Functional languages Abstract data types Continuations Software design patterns OCaml Delimited continuation Concurrent computing Thread Monad Queue Monitor
2	MemoryUsage(Two-StateLRUvsNativeLRU).eps Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Software engineering Control flow Continuations Delimited continuation Call-with-current-continuation Lambda calculus
3	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
4	BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-29 09:58:56 Continuations Control flow Subroutines Delimited continuation Functional languages Call-with-current-continuation Standard ML ConTeXt Tree traversal Software engineering Computing Computer programming
5	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
6	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
7	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 - Date: 2006-11-27 19:50:41
8	BRICS RS-05-5 Biernacki 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:37:16
9	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming

UPDATE