A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages (1993)

Cached

Download Links

by Charles Consel
Venue:Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Citations:70 - 12 self

Active Bibliography

1 Partial Evaluation: Principles and Perspectives – Charles Consel, Olivier Danvy - 1993
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
T~pe-Directed Partial Evalt~ation – Olivier Danvy
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
9 On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs – Charles Consel, Siau Cheng Khoo - 1993
1 Binding-time analysis for polymorphic types – Rogardt Heldal, John Hughes - 2001
6 Call-By-Name CPS-Translation as a Binding-Time Improvement – Kristian Nielsen, Morten Heine Sørensen - 1995
2 Sort Inference in Action Semantics – Deryck Forsyth Brown - 1996
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
13 Towards Partial Evaluation of Full Scheme – Peter Thiemann - 1996
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
2 Towards efficient partial evaluation – Karoline Malmkjær - 1993
3 Continuation-based Partial Evaluation without Continuations – Peter Thiemann - 2003
Design, Languages – Yukiyoshi Kameyama, Chung-chieh Shan