Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Seda Özmutlu, Huseyin Cenk Özmutlu, Amanda Spink |
Automatic New Topic Identification in Search Engine Transaction Logs Using Multiple Linear Regression. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Timothy K. Shih, Rong-Chi Chang, Liang-Chen Lu, Louis H. Lin |
Large Block Inpainting by Color Continuation Analysis. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
digital inpainting, large block inpainting, multi-resolution inpainting, image restoration |
23 | Eric Saund |
Finding Perceptually Closed Paths in Sketches and Drawings. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2003 |
DBLP DOI BibTeX RDF |
Contour closure, closed path, Gestalt laws, sketch interpretation, line art analysis, graphics recognition, perceptual organization |
23 | Pieter W. M. Koopman, Marinus J. Plasmeijer |
Efficient Combinator Parsers. |
IFL |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Martin Hofmann 0001, Thomas Streicher |
Continuation Models are Universal for Lambda-Mu-Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Satish Chandra 0001, Brad Richards, James R. Larus |
Teapot: Language Support for Writing Memory Coherence Protocols. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Sheng Liang, Paul Hudak, Mark P. Jones |
Monad Transformers and Modular Interpreters. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Robert H. Halstead Jr. |
New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools. |
Workshop on Parallel Lisp |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy, Karoline Malmkjær |
Intensions and Extensions in a Reflective Tower. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
23 | John C. Reynolds |
On the Relation between Direct and Continuation Semantics. |
ICALP |
1974 |
DBLP DOI BibTeX RDF |
|
20 | Souvik Bera, Tanay Pathak |
Analytic continuations and numerical evaluation of the Appell F1, F3, Lauricella FD(3) and Lauricella-Saran FS(3) and their Application to Feynman Integrals. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Taro Sekiyama, Hiroshi Unno 0001 |
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Dongjie Zhou, Zezhi Zheng |
A new measurement method of Chinese texts' difficulty based on the digital analysis of two-character continuations. |
Digit. Scholarsh. Humanit. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Bo Yang |
Ad-hoc polymorphic delimited continuations. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Rhitabrat Pokharel, Ameeta Agrawal |
Generating Continuations in Multilingual Idiomatic Contexts. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo, Filipa Mendes |
The Logical Essence of Compiling With Continuations. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Zhenglin Dai, Liping Zhao, Ke Wang, Yanlin Zhou |
Generative adversarial network to alleviate information insufficiency in intelligent fault diagnosis by generating continuations of signals. |
Appl. Soft Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jeffrey Burdges, Handan Kilinç Alper, Alistair Stewart, Sergey Vasilyev |
Ethical identity, ring VRFs, and zero-knowledge continuations. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Olivier Danvy |
Folding left and right matters: Direct style, accumulators, and continuations. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo, Filipa Mendes |
The Logical Essence of Compiling with Continuations. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Judith Sieker, Oliver Bott, Torgrim Solstad, Sina Zarrieß |
Beyond the Bias: Unveiling the Quality of Implicit Causality Prompt Continuations in Language Models. |
INLG |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Guannan Wei 0001, Songlin Jia, Ruiqi Gao, Haotian Deng 0001, Shangyin Tan, Oliver Bracevac, Tiark Rompf |
Compiling Parallel Symbolic Execution with Continuations. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Daphne Ippolito, Liam Dugan, Emily Reif, Ann Yuan, Andy Coenen, Chris Callison-Burch |
The Case for a Single Model that can Both Generate Continuations and Fill in the Blank. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek |
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Daphne Ippolito, Liam Dugan, Emily Reif, Ann Yuan, Andy Coenen, Chris Callison-Burch |
The Case for a Single Model that can Both Generate Continuations and Fill-in-the-Blank. |
NAACL-HLT (Findings) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek |
Deoptless: speculation with dispatched on-stack replacement and specialized continuations. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zoe Paraskevopoulou, Anvay Grover |
Compiling with continuations, correctly. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Paul Leger, Hiroaki Fukuda, Ismael Figueroa |
Continuations and Aspects to Tame Callback Hell on the Web. |
J. Univers. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Schuchart, Philipp Samfass, Christoph Niethammer, José Gracia, George Bosilca |
Callback-based completion notification using MPI Continuations. |
Parallel Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Schuchart, Philipp Samfass, Christoph Niethammer, José Gracia, George Bosilca |
Callback-based Completion Notification using MPI Continuations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Karl Dilcher |
Analytic Continuations of Character and Alternating Tornheim Zeta Functions. |
Am. Math. Mon. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Donald Pinckney, Arjun Guha, Yuriy Brun |
Wasm/k: Delimited Continuations for WebAssembly. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Joseph Schuchart, Christoph Niethammer, José Gracia |
Fibers are not (P)Threads: The Case for Loose Coupling of Asynchronous Programming Models and MPI Through Continuations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Daniel Hillerström, Sam Lindley, Robert Atkey |
Effect handlers via generalised continuations. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Schuchart, Christoph Niethammer, José Gracia |
Fibers are not (P)Threads: The Case for Loose Coupling of Asynchronous Programming Models and MPI Through Continuations. |
EuroMPI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Donald Pinckney, Arjun Guha, Yuriy Brun |
Wasm/k: delimited continuations for WebAssembly. |
DLS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kavon Farvardin, John H. Reppy |
From folklore to fact: comparing implementations of stacks and continuations. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf |
Compiling with continuations, or without? whatever. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Amin Timany, Lars Birkedal |
Mechanized relational verification of concurrent programs with continuations. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Lifu Tu, Xiaoan Ding, Dong Yu, Kevin Gimpel |
Generating Diverse Story Continuations with Controllable Semantics. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Eduard Kamburjan |
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Shin-ya Nishizaki |
ML Polymorphism of Linear Lambda Calculus with First-class Continuations. |
ICSCA |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Noritsugu Hayashi |
Towards a Unified, Semantically-Calculable and Anti-lexicalistic Analysis of Various Anaphoric Expressions Using "Stacked" Continuations. |
JSAI-isAI Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Lifu Tu, Xiaoan Ding, Dong Yu, Kevin Gimpel |
Generating Diverse Story Continuations with Controllable Semantics. |
NGT@EMNLP-IJCNLP |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Kimball Germane, Matthew Might |
Relatively Complete Pushdown Analysis of Escape Continuations. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Youyou Cong, Kenichi Asai |
Handling delimited continuations with dependent types. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Bott, Wolfgang Sternefeld |
An Event Semantics with Continuations for Incremental Interpretation. |
J. Semant. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Robert Lorenz 0001, Johannes Metzger, Lev Sorokin |
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
20 | Paul Leger, Hiroaki Fukuda |
Sync/CC: continuations and aspects to tame callback dependencies on JavaScript handlers. |
SAC |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki |
Linear lambda calculus with non-linear first-class continuations. |
ICSCA |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
Compiling without continuations. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Germán Andrés Delbianco |
Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency. |
|
2017 |
RDF |
|
20 | Olivier Danvy, Ugo de'Liguoro (eds.) |
Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015. |
WoC |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Kavon Farvardin, John H. Reppy |
Compiling with Continuations and LLVM. |
ML/OCAML |
2016 |
DBLP DOI BibTeX RDF |
|
20 | A. J. Wilkie |
Complex continuations of ℝan, exp-definable unary functions with a diophantine application. |
J. Lond. Math. Soc. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Graham Hutton, Patrick Bahr |
Cutting Out Continuations. |
A List of Successes That Can Change the World |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Youyou Cong, Kenichi Asai |
Implementing a stepper using delimited continuations. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Gerard Ekembe Ngondi, Jim Woodcock 0001 |
UTP Semantics of Reactive Processes with Continuations. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Paul Leger, Hiroaki Fukuda |
Using continuations and aspects to tame asynchronous programming on the web. |
MODULARITY (Companion) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Ritchie, Andreas Stuhlmüller, Noah D. Goodman |
C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching. |
AISTATS |
2016 |
DBLP BibTeX RDF |
|
20 | Daniel Ritchie, Andreas Stuhlmüller, Noah D. Goodman |
C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
20 | Dariusz Biernacki, Olivier Danvy, Kevin Millikin |
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. |
ACM Trans. Program. Lang. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Matthew Le, Matthew Fluet |
Partial aborts for transactions via first-class continuations. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dietmar Jannach, Lukas Lerche, Iman Kamehkhosh |
Beyond "Hitting the Hits": Generating Coherent Music Playlist Continuations with the Right Tracks. |
RecSys |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Maciej Piróg, Jeremy Gibbons |
From Push/Enter to Eval/Apply by Program Transformation. |
WoC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tristan Crolard |
A verified abstract machine for functional coroutines. |
WoC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Philip Johnson-Freyd, Paul Downen, Zena M. Ariola |
First Class Call Stacks: Exploring Head Reduction. |
WoC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov |
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. |
WoC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ulrich Schöpp |
On the Relation of Interaction Semantics to Continuations and Defunctionalization. |
Log. Methods Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
An Efficient Algorithm for the Equation Tree Automaton via the $k$-C-Continuations. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Jesús M. Perera Aracil |
Scheduling model-to-model transformations with continuations. |
Softw. Pract. Exp. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Chris Barker, Chung-chieh Shan |
Continuations and Natural Language. |
|
2014 |
RDF |
|
20 | Paul Downen, Zena M. Ariola |
Compositional semantics for composable continuations: from abortive to delimited control. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Aleksey Charapko, Ching-Hua Chuan |
Indexing and Retrieving Continuations in Musical Time Series Data Using Relational Databases. |
ISM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
Continuations, Processes, and Sharing. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Brett Bozyk, Bruce B. Peckham |
Dynamics of Nonholomorphic singular Continuations: a Case in Radial Symmetry. |
Int. J. Bifurc. Chaos |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker |
Delimited continuations for prolog. |
Theory Pract. Log. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ulrich Schöpp |
On Interaction, Continuations and Defunctionalization. |
TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Germán Andrés Delbianco, Aleksandar Nanevski |
Hoare-style reasoning with (algebraic) continuations. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Keiko Nakata 0001, Andri Saar |
Compiling Cooperative Task Management to Continuations. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Marek Materzok |
Axiomatizing Subtyped Delimited Continuations. |
CSL |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Anca Dinu |
Using Continuations to Account for Plural Quantification and Anaphora Binding. |
Polibits |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Mark Lyon |
Sobolev smoothing of SVD-based Fourier continuations. |
Appl. Math. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Teemu Leppänen, Pauli Närhi, Jani Ylioja, Jukka Riekki, Yoshito Tobe, Timo Ojala |
On using continuations in wireless sensor networks. |
INSS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Cuomo, Massimiliano Rak, Umberto Villano |
Process-oriented Discrete-event Simulation in Java with Continuations - Quantitative Performance Evaluation. |
SIMULTECH |
2012 |
DBLP BibTeX RDF |
|
20 | Shih-Kun Huang, Min-Hsiang Huang, Po-Yen Huang, Chung-Wei Lai, Han-Lin Lu, Wai-Meng Leong |
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations. |
SERE |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Eric Thivierge, Marc Feeley |
Efficient compilation of tail calls and continuations to JavaScript. |
Scheme@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Tom Collins, Christian Coulon |
FreshJam: Suggesting Continuations of Melodic Fragments in a Specific Style. |
MUME@AIIDE |
2012 |
DBLP BibTeX RDF |
|
20 | Anca Dinu |
Versatility of 'Continuations' in Discourse Semantics. |
Fundam. Informaticae |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Kerneis, Juliusz Chroboczek |
Erratum to: Continuation-Passing C, compiling threads to events through continuations. |
High. Order Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Kerneis, Juliusz Chroboczek |
Continuation-Passing C, compiling threads to events through continuations. |
High. Order Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Dimitrios Vardoulakis, Olin Shivers |
Ordering multiple continuations on the stack. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Marek Materzok, Dariusz Biernacki |
Subtyping delimited continuations. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Jesús M. Perera Aracil |
Compiling ATL with Continuations. |
MtATL@TOOLS |
2011 |
DBLP BibTeX RDF |
|
20 | Gabriel Kerneis, Juliusz Chroboczek |
Continuation-Passing C, compiling threads to events through continuations |
CoRR |
2010 |
DBLP BibTeX RDF |
|
20 | Nathan Lael Joseph, Khelifa Mazouz |
Testing for Overreaction and Return Continuations in Stock Price Index Returns. |
Int. J. Strateg. Decis. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jay A. McCarthy |
The two-state solution: native and serializable continuations accord. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani |
Managing continuations for proper tail recursion. |
ILC |
2010 |
DBLP DOI BibTeX RDF |
|