An Equational Theory for a Region Calculus (2002)

by Simon Helsen
Citations:1 - 1 self

Documents Related by Co-Citation

1 Binding-time analysis for polymorphic types – Rogardt Heldal, John Hughes - 2001
9 A polyvariant binding time analysis handling partially known values – M Gengler, B Rytz - 1992
9 Sound specialization in the presence of computational eects – Julia L Lawall, Peter Thiemann - 1997
6 Correctness of a Region-Based Binding-Time Analysis – Peter J. Thiemann - 1997
2 The Treatment of Polymorphism and Modules in a Partial Evaluator – Rogardt Heldal - 2001
1 Extending a partial evaluator which supports separate compilation – Rogardt Heldal, John Hughes - 2000
1 and Hanne Riis Nielson. Automatic binding-time analysis for a typed lambda calculus – Flemming Nielson - 1988
2 For a better support of static data – C Consel, O Danvy - 1991
1 Binding time analysis for polymorphically typed higher order languages – Torben
2 Bisimilarity for the region calculus – Simon Helsen
2 Region-Based Program Specialization – An Operational Approach to Polymorphic Offline Partial Evaluation for ML-like Languages – Simon Helsen, Dekan Prof, Dr. Thomas Ottmann, Universität Freiburg, Erstreferent Prof, Dr. Peter Thiemann, Universität Freiburg, Zweitreferent Prof, Dr. Fritz Henglein, Københavns Universitet (denmark - 2002
1 Polymorphic Specialization for ML · 39 – C Consel, O Danvy - 1993
21 Algebraic reconstruction of types and e#ects – P Jouvelot, D Gifford - 1991
6 Module-sensitive program specialisation – Dirk Dussart, Rogardt Heldal, John Hughes
12 Polymorphic recursion and subtype quali Polymorphic binding-time analysis in polynomial time – Dirk Dussart, Fritz Henglein, Christian Mossin - 1995
14 A tour of Schism – C Consel
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
10 Enforcing Safety Properties Using Type Specialization – Peter Thiemann - 2000
17 A polyvariant binding time analysis – Bernhard Rytz, Marc Gengler - 1992