Polymorphic Specialization for ML

Polymorphic Specialization for ML (2002)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Simon Helsen , Peter Thiemann

Venue:	ACM Transactions on Programming Languages and Systems
Citations:	4 - 3 self

BibTeX

@TECHREPORT{Helsen02polymorphicspecialization,
    author = {Simon Helsen and Peter Thiemann},
    title = {Polymorphic Specialization for ML},
    institution = {ACM Transactions on Programming Languages and Systems},
    year = {2002}
}

Bookmark

OpenURL

Abstract

We present a novel technique for offine partial evaluation of functional languages with an ML-style typing discipline. Our program specialization method comprises a polymorphic binding-time analysis with polymorphic recursion. Based on the region calculus of Tofte and Talpin, we develop a binding-time analysis as a constraint analysis on top of region inference. Our insight is to regard binding times as properties of regions.

Citations

1182	A structural approach to operational semantics - Plotkin - 1981
874	A theory of type polymorphism in programming - Milner - 1978
573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
490	A syntactic approach to type soundness - Wright, Felleisen - 1994
269	Region-based memory management - Tofte, Talpin - 1997
230	Tutorial notes on partial evaluation - Consel, Danvy - 1993
201	A core calculus of dependency - Abadi, Banerjee, et al. - 1999
195	Type-directed partial evaluation - Danvy - 1998
121	Lambda-Calculus Models of Programming Languages - Morris - 1968
114	Polymorphic type, region and effect inference - Talpin, Jouvelot - 1992
107	Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
86	Efficient type inference for higher-order binding-time analysis - Henglein - 1991
72	Integrating functional and imperative programming - Gifford, Lucassen - 1986
68	A region inference algorithm - Tofte, Birkedal - 1998
67	Binding time analysis for higher order untyped functional languages - Consel - 1990
58	For a better support of static data flow - Consel, Danvy - 1991
56	A simplified account of polymorphic references - Harper - 1994
53	Implementation of the typed call-by-value λcalculus using a stack of regions - Tofte, Talpin - 1994
51	Implementation of the typed call-by-value -calculus using a stack of regions - Tofte, Talpin - 1994
46	Efficient analyses for realistic off-line partial evaluation - Bondorf, Jørgensen - 1993
44	and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts - Nielson - 1992
42	Partial evaluation of Standard ML - Birkedal, Welinder - 1993
37	Accurate binding-time analysis for imperative languages: ow, context, and return sensitivity - Hornof, Noyé
35	Polymorphic binding-time analysis - Henglein, Mossin - 1994
32	A computational formalization for partial evaluation - Hatcliff, Danvy - 1997
32	The essence of eta-expansion in partial evaluation - Danvy, r, et al. - 1995
30	Polyvariant binding-time analysis for applicative languages - Consel - 1993
29	Handwriting cogen to avoid problems with static typing - Holst, Launchbury - 1991
28	Region analysis and the polymorphic lambda calculus - Banerjee, Heintze, et al. - 1999
27	Cogen in six lines - Thiemann - 1996
24	Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time - Dussart, Henglein, et al. - 1995
23	Partial evaluation for higher-order languages with state - Thiemann, Dussart - 1999
23	Polymorphic type, region and e#ect inference - Talpin, Jouvelot - 1992
23	D.: BTA algorithms to ensure termination of off-line partial evaluation - Glenstrup, Jones
22	Stratified Operational Semantics for Safety and Correctness of The Region Calculus - Calcagno - 2001
22	Eta-expansion does the trick - Danvy, Malmkjr, et al. - 1996
21	Relational reasoning about contexts - Lassen
21	Algebraic reconstruction of types and e#ects - Jouvelot, Gifford - 1991
18	Syntactic type soundness for the region calculus - Helsen, Thiemann - 2000
18	Binding time analysis for polymorphically typed higher order languages - Mogensen - 1989
17	A polyvariant binding time analysis - Rytz, Gengler - 1992
15	Improving CPS-based partial evaluation: Writing cogen by hand - Bondorf, Dussart - 1994
15	Syntactic type soundness results for the region calculus - Calcagno, Helsen, et al.
14	A tour of Schism - Consel
14	Sound specialization in the presence of computational effects - Lawall, Thiemann - 1997
12	Analyse de programmes, Evaluation partielle et G'en'eration de compilateurs - Consel - 1989
12	Polymorphic recursion and subtype quali Polymorphic binding-time analysis in polynomial time - Dussart, Henglein, et al. - 1995
10	Enforcing safety properties using type specialization - Thiemann
10	Unification and polymorphism in region inference - Tofte, Birkedal - 1996
10	Binding-time analysis for Standard ML - Birkedal, Welinder - 1995