Tag continuations [95 articles] Export

Recent papers classified by the tag continuations.

	Continuations and coroutines [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 293-298. by Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand posted to obp5 coroutines continuations by michalpise on 2009-11-04 09:40:07 as
	Using continuations to implement thread management and communication in operating systems [My Copy] SIGOPS Oper. Syst. Rev., Vol. 25, No. 5. (October 1991), pp. 122-136. by Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean posted to continuations by adit262 on 2009-10-20 19:45:43 as along with 2 people pedagand jrw
	Types as Graphs: Continuations in Type Logical Grammar [My Copy] Journal of Logic, Language and Information, Vol. 15, No. 4. (1 November 2006), pp. 331-370. by Chris Barker, Chung-chieh Shan posted to zipper type-logical-grammar natural-language graphs continuations by robertjohnsimmons on 2009-10-11 18:43:48 as
	Cooperative Task Management Without Manual Stack Management [My Copy] In ATEC '02: Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference (2002), pp. 289-302. by Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur posted to continuations imperative-programming stack-ripping by pedagand on 2009-06-25 17:51:41 as
	Formatting: a class act [My Copy] Journal of Functional Programming, Vol. 13, No. 05. (2003), pp. 935-944. by Ralf Hinze posted to unparsers printf parsers haskell functors formatting continuations by spl on 2009-06-19 12:41:42 as
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to continuations by olegus on 2008-12-19 13:58:52 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted to continuations by olegus on 2008-12-19 13:52:34 as along with 10 people and 2 groups kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo americovargas NU-PRL SRG_at_UCD
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted to continuations effects monads shift-and-reset by noam_zeilberger on 2008-11-17 19:23:41 as along with 7 people and 1 group bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL
	Lightweight Concurrency Primitives for GHC [My Copy] In Haskell 2007 (2007), pp. 107-118. by Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew Tolmach posted to concurrency continuations ghc haskell libraries lightweight transactional-memory by spl on 2008-10-19 16:10:22 as
	Definitional interpreters for higher-order programming languages [My Copy] In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740. by John C. Reynolds posted to continuations interpreter plclub by byorgey on 2008-09-12 16:42:21 as along with 3 people darinm bunge tov
	Continuations and the nature of quantification [My Copy] Natural Language Semantics, Vol. 10, No. 3. (2002), pp. 211-242. by Chris Barker posted to continuations semantics by bringert on 2008-08-29 10:13:00 as
	multi-threaded GUIs [My Copy] by M. Fuchs posted to continuations gui programming_languages by mmakowski on 2008-08-21 09:11:38 as
	Sober spaces and continuations [My Copy] Theory and Applications of Categories, Vol. 10, pp. 200-2. by Paul Taylor posted to asd continuations stone-duality topology types by noam_zeilberger on 2008-08-07 20:44:32 as
	Representing Control: A study of the CPS transformation [My Copy] Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391. by Olivier Danvy, Andrzej Filinski posted to continuations control-flow by jkominek on 2008-08-07 03:47:16 as along with 8 people and 1 group puzza pedagand yoriyuki twleung dherman JeffreyPalmer mvermaat ch NU-PRL
	Asymptotic Improvement of Computations over Free Monads [My Copy] Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403. by Janis Voigtländer edited by Christine Paulin-Mohring, Philippe Audebaud posted to continuations deforestation functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 type-classes types by voigt on 2008-07-28 10:23:57 as along with 1 person Benja
	A Dynamic Extent Control Operator for Partial Continuations [My Copy] In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 174-184. by Christian Queinnec, Bernard Serpette posted to continuations by namin on 2008-07-23 19:45:11 as
	CPS in little pieces: composing partial continuations [My Copy] Journal of Functional Programming, Vol. 12, No. 06. (2002), pp. 617-622. by Daniel P. Friedman, A. M. R. Sabry posted to continuations by namin on 2008-07-23 19:39:42 as
	The essence of compiling with continuations [My Copy] ACM SIGPLAN Notices, Vol. 39, No. 4. (April 2004), pp. 502-514. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to compilers continuations by jkominek on 2008-07-16 04:34:24 as along with 8 people and 1 group higepon samth JeffreyPalmer yallop dsilva JosephKoshy ryanc pedagand NU-PRL
	Definitional Interpreters for Higher-Order Programming Languages [My Copy] In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740. by John C. Reynolds posted to call-by-name call-by-value continuations higher-order-functions interpreters lambda-calculus by spl on 2008-05-22 10:30:19 as along with 5 people and 1 group robertjohnsimmons kschiess jespera calvins pedagand ConcertRG
	Monads and Composable Continuations [My Copy] Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56. by Philip Wadler posted to continuations haskell by bringert on 2008-05-20 15:47:51 as along with 3 people glaubersp cdiggins benchambers
	Continuation-Based Multiprocessing Revisited [My Copy] Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1 October 1999), pp. 283-283. by Mitchell Wand posted to concurrency continuations programming-language-design scheme by mcclurmc to the group Lambda the Ultimate on 2008-03-12 22:53:33 as
	Essentials of programming languages [My Copy] (1992) by Daniel P. Friedman, Christopher T. Haynes, Mitchell Wand posted to continuations functional-programming getting-started interpreters scheme by mcclurmc to the group Lambda the Ultimate on 2008-03-05 17:48:30 as
	Programming asynchronous layers with CLARITY [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 65-74. by Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani posted to asynchronous continuations events by jfischer on 2008-02-04 19:46:24 as
	Escaping the event loop: an alternative control structure for multi-threaded GUIs [My Copy] In EHCI (1995), pp. 69-87. by M. Fuchs posted to continuations javascript by danlentz on 2008-02-04 15:55:37 as along with 5 people hamish JeffreyPalmer dsilva zednenem conal
	A correspondence between continuation passing style and static single assignment form [My Copy] In Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, Vol. 30, No. 3. (March 1995), pp. 13-22. by Richard A. Kelsey posted to continuations lambda-calculus ssa by mcclurmc on 2008-01-02 15:08:08 as along with 2 people and 1 group samth bfraser NU-PRL
	Reasoning about programs in continuation-passing style [My Copy] LISP and Symbolic Computation, Vol. 6, No. 3. (1 November 1993), pp. 289-360. by A. M. R. Sabry, Matthias Felleisen posted to continuations lambda-calculus by mcclurmc on 2008-01-02 14:41:58 as along with 1 person pedagand
	The revised report on the syntactic theories of sequential control and state [My Copy] Theor. Comput. Sci., Vol. 103, No. 2. (September 1992), pp. 235-271. by Matthias Felleisen, Robert Hieb posted to compilers continuations by mcclurmc on 2007-12-20 17:53:44 as along with 3 people and 1 group samth dsilva gkuan NU-PRL
	The essence of compiling with continuations [My Copy] SIGPLAN Not., Vol. 28, No. 6. (June 1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to compilers continuations by mcclurmc on 2007-12-20 17:49:09 as
	Fuce: the continuation-based multithreading processor [My Copy] In CF '07: Proceedings of the 4th international conference on Computing frontiers (2007), pp. 213-224. by Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya posted to continuations multithreading processor-architectures by visit0r on 2007-12-02 19:38:08 as
	Trickles: a stateless network stack for improved scalability, resilience, and flexibility [My Copy] In NSDI'05: Proceedings of the 2nd conference on Symposium on Networked Systems Design \& Implementation (2005), pp. 175-188. by Alan Shieh, Andrew C. Myers, Emin G. Sirer posted to continuations protocol by pedagand on 2007-10-26 06:25:44 as along with 1 person draganigajic
	Continuations of logic programs [My Copy] In Proceedings of the Conference on Algebraic Logic and Universal Algebra in Computer Science (1990), pp. 27-36. by Peter H. Gumm posted to continuations logic-programming by tuncay on 2007-10-23 23:41:48 as
	Iterators: Signs of Weakness in Object-Oriented Languages [My Copy] ACM OOPS Messenger, Vol. 4, No. 3. (1993), pp. 18-25. by Henry G. Baker posted to compilers computation continuations functional good object-oriented programming wrong by ariels on 2007-09-28 12:24:19 as
	Abstracting Control [My Copy] In Proceedings of the 1990 ACM Conference on {LISP} and Functional Programming, Nice (1990), pp. 151-160. by O. Danvy, A. Filinski posted to continuations by cdiggins on 2007-09-02 05:18:42 as
	On Evaluation Contexts, Continuations, [My Copy] by O. Danvy posted to continuations hardcopy programming-languages by bunge on 2007-08-13 21:54:05 as along with 2 people and 1 group dherman jacob NU-PRL
	The Essence of Compiling with Continuations [My Copy] In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to continuations by ds on 2007-07-20 22:18:14 as along with 5 people derek_farn dimvar croys clconway mbrentharp
	Continuation Semantics in Typed Lambda-Calculi [My Copy] In Proceedings 3rd Workshop on Logics of Programs, Brooklyn, NY, {USA}, 17--19 June 1985, Vol. 193 (1985), pp. 219-224. by Albert R. Meyer, Mitchell Wand edited by R. Parikh posted to continuations by ds on 2007-07-13 14:16:52 as along with 1 person cdiggins
	Continuations Revisited [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 131-133. by Christopher P. Wadsworth posted to continuations by ds on 2007-07-13 13:54:07 as
	A Foreword to ‘Fundamental Concepts in Programming Languages’ [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 7-9. by Peter D. Mosses posted to continuations programming-languages semantic by ds on 2007-07-13 13:42:08 as
	Continuations: A Mathematical Semantics for Handling Full Jumps [My Copy] Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 135-152. by Christopher Strachey, Christopher P. Wadsworth posted to continuations denotational-semantic by ds on 2007-07-13 13:27:53 as
	Reasoning about Programs in Continuation-Passing Style [My Copy] In Proceedings 1992 ACM Conf.\ on Lisp and Functional Programming, San Francisco, {CA}, {USA}, 22--24 June 1992 (1992), pp. 288-298. by Amr Sabry, Matthias Felleisen posted to continuations by ds on 2007-07-09 12:11:55 as along with 1 person dimvar
	Continuations and Semantics [My Copy] by Andrew Wilson posted to continuations semantic by ds on 2007-07-09 12:09:22 as
	The Formulae-as-Types Notion of Control [My Copy] In Conf.\ Record 17th Annual ACM Symp.\ on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan 1990 (1990), pp. 47-57. by Timothy G. Griffin posted to continuations curry-howard scheme by ds on 2007-07-08 16:34:33 as along with 2 people and 1 group dherman JacquesC NU-PRL
	The Discoveries of Continuations [My Copy] LISP and Symbolic Computation, Vol. 6, No. 3--4. (1993), pp. 233-247. by John C. Reynolds posted to continuations by ds on 2007-07-08 16:30:27 as
	Tasks: language support for event-driven programming [My Copy] In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 134-143. by Jeffrey Fischer, Rupak Majumdar, Todd Millstein posted to continuations events by jfischer on 2007-06-29 00:36:44 as
	Continuations and concurrency [My Copy] In PPOPP '90: Proceedings of the second ACM SIGPLAN symposium on Principles \& practice of parallel programming (1990), pp. 128-136. by R. Hieb, Kent R. Dybvig posted to concurrency continuations by tautologico on 2007-04-08 18:50:25 as along with 1 person NSumner
	Combining Continuations with Other Effects [My Copy] by Martin Hyland, Paul B. Levy, Gordon Plotkin, John Power posted to continuations monads side-effects by glaubersp on 2007-04-06 23:06:37 as
	Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars [My Copy] by Paul Tarau, Veronica Dahl posted to continuations linear-logic by glaubersp on 2007-04-06 22:57:20 as
	Monads and Composable Continuations [My Copy] Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56. by Philip Wadler posted to continuations monads by glaubersp on 2007-04-06 22:44:35 as
	Continuation-based multiprocessing [My Copy] In LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming (1980), pp. 19-28. by Mitchell Wand posted to continuations lisp multiprocessing by jkominek on 2007-03-27 21:45:22 as along with 1 person hamish
	Implementation Strategies for First-Class Continuations [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45. by William D. Clinger, Anne H. Hartheimer, Eric M. Ost posted to continuations programming scheme by jkominek on 2007-03-27 21:42:09 as along with 11 people and 1 group assnoodles samth twleung marcoil jacob eaubin JacquesC JeffreyPalmer yallop ryanc tov NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/continuations

Result page: 1 2 Next

cps	26
effects	18
monads	18
scheme	18
control	11
types	10
compiler	9
compilers	8
curry-howard	8
exceptions	8
functional-programming	8
control-operators	7
contification	6
concurrency	5
haskell	5
lambda-calculus	5
linear	5
linearity	4
ml	4
plt	4
program-transformation	4
subtractive-types	4
defunctionalization	3
gui	3
interpreters	3
programming	3
side-effects	3
threads	3
abstract-machine	2
call-by-need	2
call-by-value	2
contexts	2
denotational-semantics	2
events	2
functional	2
fx	2
krivine	2
language-design	2
linear-types	2
links	2
logic	2
logic-programming	2
multiprocessing	2
multithreading	2
processor-architectures	2
programming-language-design	2
programming-languages	2
return	2
safe-for-space	2
search	2
semantic	2
tail-recursion	2
type-theory	2
web	2
asd	1
asynchronous	1
backtracking	1
computation	1
control-delimiters	1
control-flow	1
coroutines	1
deforestation	1
denotational-semantic	1
formatting	1
functors	1
generic-programming	1
getting-started	1
ghc	1
good	1
graphs	1
hardcopy	1
higher-order-functions	1
imperative-programming	1
implementation	1
interpreter	1
lambda-cube	1
languagedesign	1
lecture-aos	1
lightweight	1
linear-logic	1
lisp	1
lisplang	1
memory-management	1
natural-language	1
object-oriented	1
obp5	1
operating-system	1
polymorphism	1
printf	1
protocol	1
rank-2	1
semantics	1
ssa	1
stack-ripping	1
stone-duality	1
strict-evaluation	1
transactional-memory	1
transformation	1
ui	1
zipper	1

Tag continuations [95 articles] Export

Related Tags