Functor Categories and Two-Level Languages (1998)

Cached

Download Links

by E. Moggi
Venue:In Foundations of Software Science and Computation Structures (FoSSaCS
Citations:15 - 4 self

Documents Related by Co-Citation

81 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
22 Logical Modalities and Multi-Stage Programming – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
18 A Categorical Account of Two-Level Languages – Eugenio Moggi - 1997
85 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
237 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
605 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
21 Fast Binding-Time Analysis for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1996
33 A Computational Formalization for Partial Evaluation – John Hatcliff, Olivier Danvy, I Ff, Ol - 1997
27 Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming – Cristiano Calcagno , Eugenio Moggi, Walid Taha - 2000
32 An Idealized MetaML: Simpler, and More Expressive – Eugenio Moggi, Walid Taha, Zine El-abidine Benaissa, Tim Sheard - 1999
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
302 Higher-order abstract syntax – F Pfenning, C Elliot - 1988
639 Partial Evaluation and Automatic Program Generation. Available online: http://www.itu.dk/people/sestoft/pebook – Neil D Jones, Carsten K Gomard, Peter Sestoft - 1993
25 A Semantic Account of Type-Directed Partial Evaluation – Andrzej Filinski - 1999
26 Partial Evaluation for Higher-Order Languages with State – Peter Thiemann, Dirk Dussart - 1996