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

Active Bibliography

18 A Categorical Account of Two-Level Languages – Eugenio Moggi - 1997
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop – Flemming Nielson, (Ed.) - 1993
12 A self-applicable partial evaluator for the lambda calculus – Neil D. Jones, Carsten K. Gomard, Peter Sestoft - 1990
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
3 Interpreting Specialization in Type Theory – Peter Thiemann
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
A Semantic Model of Binding Times for Safe Partial Evaluation – Fritz Henglein David, David Sands
5 A Step-indexed Semantics of Imperative Objects – Catalin Hritcu, et al.
6 Correctness of a Region-Based Binding-Time Analysis – Peter J. Thiemann - 1997
37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
39 Categorical Models for Local Names – Ian Stark - 1996
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
Logical Relations for Dynamic . . . – Yu Zhang, David Nowak - 2003
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
88 Categorical Logic – Andrew M. Pitts - 1995
9 Mathematical models of computational and combinatorial structures. Invited address for Foundations – Marcelo P. Fiore - 2005