Search results for "eta-expansion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
145	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	Eta-Expansion Does The Trick.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization
39	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
39	Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.	RTA	2002	DBLP DOI BibTeX RDF
38	David Van Horn, Harry G. Mairson	Relating complexity and precision in control flow analysis.	ICFP	2007	DBLP DOI BibTeX RDF	eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction
28	Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic	A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
28	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	The Essence of Eta-Expansion in Partial Evaluation.	LISP Symb. Comput.	1995	DBLP BibTeX RDF
28	C. Barry Jay, Neil Ghani	The Virtues of Eta-Expansion.	J. Funct. Program.	1995	DBLP DOI BibTeX RDF
28	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	The Essence of Eta-Expansion in Partial Evaluation.	PEPM	1994	DBLP BibTeX RDF
20	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation.	CSL	2007	DBLP DOI BibTeX RDF