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

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
478 Enforceable Security Policies – Fred B. Schneider
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
242 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
222 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
239 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
18 A Categorical Account of Two-Level Languages – Eugenio Moggi - 1997