The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Defunctionalization with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2007 (15) 2008-2023 (17)
Publication types (Num. hits)
article(12) inproceedings(20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 51 occurrences of 31 keywords

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