Search results for "CPS-translation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
112	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
106	Yukiyoshi Kameyama	Axioms for control operators in the CPS hierarchy.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
76	Yukiyoshi Kameyama	Axioms for Delimited Continuations in the CPS Hierarchy.	CSL	2004	DBLP DOI BibTeX RDF
73	Ichiro Ogata	A Proof Theoretical Account of Continuation Passing Style.	CSL	2002	DBLP DOI BibTeX RDF	Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
68	Ken-etsu Fujita	A Sound and Complete CPS-Translation for lambda-mu-Calculus.	TLCA	2003	DBLP DOI BibTeX RDF
62	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
58	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
48	Satoshi Kobayashi	A New Translation for Semi-classical Theories - Backtracking without CPS.	FLOPS	2008	DBLP DOI BibTeX RDF
46	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
36	Adam Chlipala	Parametric higher-order abstract syntax for mechanized semantics.	ICFP	2008	DBLP DOI BibTeX RDF	type-theoretic semantics, dependent types, compiler verification, interactive proof assistants
32	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ICFP	1996	DBLP DOI BibTeX RDF
30	Aleksander Wojdyga	Short Proofs of Strong Normalization.	MFCS	2008	DBLP DOI BibTeX RDF	permutative reductions, lambda calculus, system F, CPS-translation, strong normalization
30	Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano	Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.	CSL	2008	DBLP DOI BibTeX RDF	domain-free type system, undecidability, existential type, CPS-translation
28	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
28	Tobias Löw, Thomas Streicher	Universality Results for Models in Locally Boolean Domains.	CSL	2006	DBLP DOI BibTeX RDF
28	Masahito Hasegawa	Relational Parametricity and Control.	LICS	2005	DBLP DOI BibTeX RDF
28	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
20	William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed 0001	Type-preserving CPS translation of Σ and Π types is not not possible.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
20	Amal Ahmed 0001, Matthias Blume	An equivalence-preserving CPS translation via multi-language semantics.	ICFP	2011	DBLP DOI BibTeX RDF
20	Ken-etsu Fujita	CPS-translation as adjoint.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
20	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
20	Koji Nakazawa, Makoto Tatsuta	Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction".	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
20	Koji Nakazawa, Makoto Tatsuta	Strong normalization proof with CPS-translation for second order classical natural deduction.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
20	Kristian Nielsen, Morten Heine Sørensen	Call-By-Name CPS-Translation as a Binding-Time Improvement	SAS	1995	DBLP DOI BibTeX RDF
20	Philippe de Groote	A CPS-Translation of the Lambda-µ-Calculus.	CAAP	1994	DBLP DOI BibTeX RDF
20	Philip Wadler	Call-by-value is dual to call-by-name.	ICFP	2003	DBLP DOI BibTeX RDF	Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
16	Raffaella Bernardi, Michael Moortgat	Continuation Semantics for Symmetric Categorial Grammar.	WoLLIC	2007	DBLP DOI BibTeX RDF
16	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein	Tasks: language support for event-driven programming.	PEPM	2007	DBLP DOI BibTeX RDF
16	Ken-etsu Fujita	Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value.	TLCA	1999	DBLP DOI BibTeX RDF
16	Ken-etsu Fujita	Polymorphic Call-by-Value Calculus Based on Classical Proofs.	AISC	1998	DBLP DOI BibTeX RDF
16	Luc Moreau 0001, Christian Queinnec	Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators.	PLILP	1994	DBLP DOI BibTeX RDF