Search results for "defunctionalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization.	POPL	2004	DBLP DOI BibTeX RDF	type preservation, polymorphism, defunctionalization, closure conversion
159	Jeffrey M. Bell, Françoise Bellegarde, James Hook	Type-Driven Defunctionalization.	ICFP	1997	DBLP DOI BibTeX RDF
120	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
68	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
64	Olivier Danvy	Refunctionalization at Work.	MPC	2006	DBLP DOI BibTeX RDF
64	Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke	Design and Correctness of Program Transformations Based on Control-Flow Analysis.	TACS	2001	DBLP DOI BibTeX RDF
53	Dariusz Biernacki, Olivier Danvy	From Interpreter to Logic Engine by Defunctionalization.	LOPSTR	2003	DBLP DOI BibTeX RDF
46	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
31	William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano	Better Defunctionalization through Lambda Set Specialization.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
31	Yulong Huang, Jeremy Yallop	Defunctionalization with Dependent Types.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
31	Yulong Huang, Jeremy Yallop	Defunctionalization with Dependent Types.	CoRR	2023	DBLP DOI BibTeX RDF
31	Jeremy Gibbons	Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity.	Art Sci. Eng. Program.	2022	DBLP DOI BibTeX RDF
31	Jeremy Gibbons	Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity.	CoRR	2021	DBLP BibTeX RDF
31	Maheen Riaz Contractor, Matthew Fluet	Type- and Control-Flow Directed Defunctionalization.	IFL	2020	DBLP DOI BibTeX RDF
31	Long Pham, Steven J. Ramsay, C.-H. Luke Ong	Defunctionalization of Higher-Order Constrained Horn Clauses.	CoRR	2018	DBLP BibTeX RDF
31	Georgios Fourtounis 0001, Nikolaos S. Papaspyrou, Panagiotis Theofilopoulos	Modular polymorphic defunctionalization.	Comput. Sci. Inf. Syst.	2014	DBLP DOI BibTeX RDF
31	Ulrich Schöpp	On the Relation of Interaction Semantics to Continuations and Defunctionalization.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
31	Torsten Grust, Nils Schweinsberg, Alexander Ulrich	Functions Are Data Too (Defunctionalization for PL/SQL). (PDF / PS)	Proc. VLDB Endow.	2013	DBLP DOI BibTeX RDF
31	Ulrich Schöpp	On Interaction, Continuations and Defunctionalization.	TLCA	2013	DBLP DOI BibTeX RDF
31	Olivier Danvy, Lasse R. Nielsen	Defunctionalization at Work.	PPDP	2001	DBLP DOI BibTeX RDF
25	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
25	Ezra Cooper, Philip Wadler	The RPC calculus.	PPDP	2009	DBLP DOI BibTeX RDF	location-aware language, trampolined style, programming languages, web programming, continuation-passing style, defunctionalization
25	David A. Schmidt	State-transition machines, revisited.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Krivine machine, Lambda-calculus, Denotational semantics, Continuation-passing style, Defunctionalization
25	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
25	Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen	Continuations from generalized stack inspection.	ICFP	2005	DBLP DOI BibTeX RDF	A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
25	Torben Amtoft, Robert Muller	Inferring annotated types for inter-procedural register allocation with constructor flattening.	TLDI	2003	DBLP DOI BibTeX RDF	type systems, register allocation, effects, defunctionalization, certifying compilers
21	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
21	Olivier Danvy	From Reduction-Based to Reduction-Free Normalization.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
21	Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal	A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
21	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's J Operator.	IFL	2005	DBLP DOI BibTeX RDF
21	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
21	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells	Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML