Documents Related by Co-Citation

80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
939 A theory of type polymorphism in programming – Robin Milner - 1978
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
730 Notions of Computation and Monads – Eugenio Moggi - 1991
41 Syntactic abstraction – R K Dybvig, R Hieb, C Bruggeman - 1993
18 A Categorical Account of Two-Level Languages – Eugenio Moggi - 1997
149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
207 Type-directed partial evaluation – Olivier Danvy - 1996
22 Logical Modalities and Multi-Stage Programming – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
32 An Idealized MetaML: Simpler, and More Expressive – Eugenio Moggi, Walid Taha, Zine El-abidine Benaissa, Tim Sheard - 1999
21 Fast Binding-Time Analysis for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1996
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991