Search results for "continuations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Alexis Saurin	A Hierarchy for Delimited Continuations in Call-by-Name.	FoSSaCS	2010	DBLP DOI BibTeX RDF
20	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Linearly-Used Continuations in the Enriched Effect Calculus.	FoSSaCS	2010	DBLP DOI BibTeX RDF
20	Deepak Hegde, David C. Mowery, Stuart J. H. Graham	Pioneering Inventors or Thicket Builders: Which U.S. Firms Use Continuations in Patenting?	Manag. Sci.	2009	DBLP DOI BibTeX RDF
20	Antonio Giraldo, J. M. R. Sanjurjo	Singular Continuations of Attractors.	SIAM J. Appl. Dyn. Syst.	2009	DBLP DOI BibTeX RDF
20	Kenichi Asai	On typing delimited continuations: three new solutions to the printf problem.	High. Order Symb. Comput.	2009	DBLP DOI BibTeX RDF
20	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of delimited continuations.	High. Order Symb. Comput.	2009	DBLP DOI BibTeX RDF
20	Michael Norrish	Rewriting Conversions Implemented with Continuations.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF
20	Daisuke Bekki, Kenichi Asai	Representing Covert Movements by Delimited Continuations.	JSAI-isAI Workshops	2009	DBLP DOI BibTeX RDF
20	André Galligo, Adrien Poteaux	Continuations and monodromy on random riemann surfaces.	SNC	2009	DBLP DOI BibTeX RDF
20	Denis Jouvin	Continuations pour la programmation de comportement d'agent.	Rev. d'Intelligence Artif.	2007	DBLP DOI BibTeX RDF
20	Emilio Elizalde	Some analytic continuations of the Barnes zeta function in two and higher dimensions.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
20	Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power	Combining algebraic effects with continuations.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
20	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A proof-theoretic foundation of abortive continuations.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Callcc, Minimal logic, Intuitionistic logic, Classical logic
20	R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry	A monadic framework for delimited continuations.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
20	Maurizio Giordano, Claudia Di Napoli	Using Continuations for Flexible Provision of Grid Services.	GSEM	2007	DBLP BibTeX RDF
20	Stefano Guerrini, Andrea Masini	Continuations, proofs and tests	CoRR	2006	DBLP BibTeX RDF
20	Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan	On the static and dynamic extents of delimited continuations.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
20	Juan Carlos Gomez, Jorge R. Ramos, Vernon Rego	Signals, timers, and continuations for multithreaded user-level protocols.	Softw. Pract. Exp.	2006	DBLP DOI BibTeX RDF
20	Andrew W. Appel	Compiling with Continuations (corr. version).		2006	RDF
20	Denis Jouvin	Utilisation des continuations pour l'ingénierie d'agents conversationnels.	JFSMA	2006	DBLP BibTeX RDF
20	Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan	On the dynamic extent of delimited continuations.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
20	Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy	An Operational Foundation for Delimited Continuations in the CPS Hierarchy	CoRR	2005	DBLP BibTeX RDF
20	Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy	An Operational Foundation for Delimited Continuations in the CPS Hierarchy.	Log. Methods Comput. Sci.	2005	DBLP DOI BibTeX RDF
20	Kenichi Asai	Logical relations for call-by-value delimited continuations.	Trends in Functional Programming	2005	DBLP BibTeX RDF
20	Chung-chieh Shan	Delimited continuations in natural language: quantification and polarity sensitivity	CoRR	2004	DBLP BibTeX RDF
20	Paul Tarau, Verónica Dahl	High-Level Networking With Mobile Code And First Order AND-Continuations	CoRR	2004	DBLP BibTeX RDF
20	Jana Koehler, Rainer Hauser	Untangling Unstructured Cyclic Flows - A Solution Based on Continuations.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
20	Frédéric Cao	Good continuations in digital image level lines.	ICCV	2003	DBLP DOI BibTeX RDF
20	James Laird	A Game Semantics of Linearly Used Continuations.	FoSSaCS	2003	DBLP DOI BibTeX RDF
20	Steve Zdancewic, Andrew C. Myers	Secure Information Flow via Linear Continuations.	High. Order Symb. Comput.	2002	DBLP DOI BibTeX RDF
20	Daniel P. Friedman, Amr Sabry	CPS in little pieces: composing partial continuations.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
20	Jean-Marc Champarnaud, Djelloul Ziadi	From C-Continuations to New Quadratic Algorithms for Automaton Synthesis.	Int. J. Algebra Comput.	2001	DBLP DOI BibTeX RDF
20	Paul Tarau, Verónica Dahl	High-Level Networking with Mobile Code and First Order AND-Continuations.	Theory Pract. Log. Program.	2001	DBLP DOI BibTeX RDF
20	Christopher S. Strachey, Christopher P. Wadsworth	Continuations: A Mathematical Semantics for Handling Full Jumps.	High. Order Symb. Comput.	2000	DBLP DOI BibTeX RDF
20	Christopher P. Wadsworth	Continuations Revisited.	High. Order Symb. Comput.	2000	DBLP DOI BibTeX RDF
20	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Spécification de modèles de traces à l'aide d'une sémantique par continuations.	JFPLC	2000	DBLP BibTeX RDF
20	Christian Queinnec	Continuations and Conversations.	AIMSA	2000	DBLP DOI BibTeX RDF
20	Davide Sangiorgi	From lambda to pi; or, Rediscovering continuations.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
20	Erik Sandewall	An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.	High. Order Symb. Comput.	1999	DBLP DOI BibTeX RDF
20	William D. Clinger, Anne Hartheimer, Eric Ost	Implementation Strategies for First-Class Continuations.	High. Order Symb. Comput.	1999	DBLP DOI BibTeX RDF
20	Hayo Thielecke	Continuations, functions and jumps.	SIGACT News	1999	DBLP DOI BibTeX RDF
20	Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig	Threads Yield Continuations.	LISP Symb. Comput.	1998	DBLP BibTeX RDF
20	Paul Tarau, Verónica Dahl	Code Migration with First Order Continuations.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
20	Ned Freed, Keith Moore	MIME Parameter Value and Encoded Word Extensions: Character Sets, Languages, and Continuations.	RFC	1997	DBLP DOI BibTeX RDF
20	Ned Freed, Keith Moore	MIME Parameter Value and Encoded Word Extensions: Character Sets, Languages, and Continuations.	RFC	1997	DBLP DOI BibTeX RDF
20	Steve Larson	Continuations as Completions: Studying Melodic Expectation in the Creative Microdomain Seek Well.	Joint International Conference on Cognitive and Systematic Musicology	1996	DBLP DOI BibTeX RDF
20	Sho-Huan Tung	Obtaining Visual Continuations with Visualcode.	VL	1996	DBLP DOI BibTeX RDF
20	Luc Moreau 0001	A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics.	Comput. Artif. Intell.	1995	DBLP BibTeX RDF
20	Paul Tarau, Verónica Dahl, Andrew Fall	Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.	ILPS	1995	DBLP BibTeX RDF
20	Luc Moreau 0001, Daniel Ribbens	The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects.	PSLS	1995	DBLP DOI BibTeX RDF
20	Gregory F. Johnson, Dominic Duggan	First-Class Stores and Partial Continuations in a Programming Language and Environment.	Comput. Lang.	1994	DBLP DOI BibTeX RDF
20	Philip Wadler	Monads and Composable Continuations.	LISP Symb. Comput.	1994	DBLP BibTeX RDF
20	Antônio Carlos da Rocha Costa, Vanderlei Moraes Rodrigues	Inspecting continuations.	SIGACT News	1994	DBLP DOI BibTeX RDF
20	Wen-Ping Hwang, Ching-Lin Wang	Using Procedural Parameters and Continuations in Combinatorial Searches.	Softw. Pract. Exp.	1994	DBLP DOI BibTeX RDF
20	M. Esen Tuna, Steven D. Johnson, Robert G. Burger	Continuations in Hardware-Software Codesign.	ICCD	1994	DBLP DOI BibTeX RDF
20	Paul Tarau, Verónica Dahl	Logic Programming and Logic Grammars with First-Order Continuations.	LOPSTR	1994	DBLP DOI BibTeX RDF
20	John C. Reynolds	The Discoveries of Continuations.	LISP Symb. Comput.	1993	DBLP BibTeX RDF
20	Shin-ya Nishizaki	Programs with Continuations and Linear Logic.	Sci. Comput. Program.	1993	DBLP DOI BibTeX RDF
20	Robert Harper 0001, Bruce F. Duba, David B. MacQueen	Typing First-Class Continuations in ML.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
20	Ken Wakita	First Class Messages as First Class Continuations.	ISOTAS	1993	DBLP DOI BibTeX RDF
20	Randall W. Dean	Using Continuations to Build a User-Level Threads Library.	USENIX MACH Symposium	1993	DBLP BibTeX RDF
20	Pascal Brisset, Olivier Ridoux	Continuations in Lambda-Prolog.	ICLP	1993	DBLP BibTeX RDF
20	Andrew W. Appel	Compiling with Continuations		1992	RDF
20	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
20	Ulises Cortés, Enric Sesa, Mario Mango Furnari, Claudia Di Napoli, Renata Napolitano	Continuations as a Generic Control-Flow Mechanism.	AIFIPP	1992	DBLP BibTeX RDF
20	Jochen Liedtke	Fast Thread Management and Communication Without Continuations.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
20	Christopher Coyle, Peter Crogono	Building abstract iterators using continuations.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
20	Robert D. Tennent, J. K. Tobin	Continuations in Possible-World Semantics.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
20	Pascal Fradet	Syntactic Detection of Single-Threading Using Continuations.	FPCA	1991	DBLP DOI BibTeX RDF
20	Bruce F. Duba, Robert Harper 0001, David B. MacQueen	Typing First-Class Continuations in ML.	POPL	1991	DBLP DOI BibTeX RDF
20	Christian Queinnec, Bernard P. Serpette	A Dynamic Extent Control Operator for Partial Continuations.	POPL	1991	DBLP DOI BibTeX RDF	SCHEME
20	F. Goudal	Une représentation abstraite des expressions et continuations en Scheme.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
20	Shin-ya Nishizaki	Programs with Continuations and Linear Logic.	TACS	1991	DBLP DOI BibTeX RDF
20	Ching-Lin Wang	Obtaining Lazy Evaluation with Continuations in Scheme.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
20	Lloyd Allison	Continuations Implement Generators and Streams.	Comput. J.	1990	DBLP DOI BibTeX RDF
20	Morry Katz, Daniel Weise	Continuing into the Future: On the Interaction of Futures and First-Class Continuations.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SCHEME, MULTILISP
20	Dorai Sitaram, Matthias Felleisen	Reasoning with Continuations II: Full Abstraction for Models of Control.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
20	R. Kent Dybvig, Robert Hieb	Engines From Continuations.	Comput. Lang.	1989	DBLP DOI BibTeX RDF
20	Keith Clarke	One-pass Code Generation Using Continuations.	Softw. Pract. Exp.	1989	DBLP BibTeX RDF
20	Andrzej Filinski	Declarative Continuations: an Investigation of Duality in Programming Language Semantics.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
20	Lloyd Allison	Some Applications of Continuations.	Comput. J.	1988	DBLP DOI BibTeX RDF
20	H. Peter Gumm	Continuations of logic programs.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
20	Gregory F. Johnson, Dominic Duggan	Stores and Partial Continuations as First-Class Objects in a Language and its Environment.	POPL	1988	DBLP DOI BibTeX RDF
20	Albert R. Meyer, Jon G. Riecke	Continuations May be Unreasonable.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
20	Christopher T. Haynes	Logic Continuations.	J. Log. Program.	1987	DBLP DOI BibTeX RDF
20	Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand	Obtaining Coroutines with Continuations.	Comput. Lang.	1986	DBLP DOI BibTeX RDF
20	Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba	Reasoning with Continuations	LICS	1986	DBLP BibTeX RDF
20	Christopher T. Haynes	Logic Continuations.	ICLP	1986	DBLP DOI BibTeX RDF
20	Michael R. Dunlavey	A progress report on D: a compiled language featuring continuations.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
20	Mark B. Wells, Margaret A. Hug, Rollo Silver	Libraries as programs preserved within compiler continuations.	SLIPE	1985	DBLP DOI BibTeX RDF
20	Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand	Continuations and Coroutines.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
20	Patrick Sallé	Echappements et continuations en sémantique dénotationnelle.	Symposium on Programming	1980	DBLP DOI BibTeX RDF
20	Dines Bjørner	Experiments in Block-structured GOTO Modelling: exits vs. Continuations.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
20	Mitchell Wand, Daniel P. Friedman	Compiling Lambda-Expressions Using Continuations and Factorizations.	Comput. Lang.	1978	DBLP DOI BibTeX RDF
18	Stefano Guerrini, Andrea Masini	Proofs, tests and continuation passing style.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Minimal logic, call-by-name, intutionistic logic, linear logic, lambda calculus, continuations passing style, call-by-value
18	Umut A. Acar	Self-adjusting computation: (an overview).	PEPM	2009	DBLP DOI BibTeX RDF	incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity
18	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
18	Ronald Garcia, Andrew Lumsdaine, Amr Sabry	Lazy evaluation and delimited control.	POPL	2009	DBLP DOI BibTeX RDF	call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics
18	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
18	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics