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 |