A temporal-logic approach to binding-time analysis (1996)

by Rowan Davies
Venue:In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
Citations:80 - 5 self

Active Bibliography

185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
7 On a Modal \lambda-Calculus for S4* – F. Pfenning, H. C. Wong - 1995
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
4 First-class open and closed code fragments – Morten Rhiger - 2005
3 Interpreting Specialization in Type Theory – Peter Thiemann
13 Towards Partial Evaluation of Full Scheme – Peter Thiemann - 1996
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
Shifting the stage Staging – Yukiyoshi Kameyama, Chung-chieh Shan
7 A Unified Framework for Binding-Time Analysis – Peter Thiemann - 1997
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
27 Cogen in Six Lines – Peter J. Thiemann - 1996