Search results for "continuations"

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