y

Download:

by Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard

http://www.cs.chalmers.se/~taha/publications/conference/imla99.ps

Add To MetaCart

Abstract:

Abstract. Multi-stage programming is a method for improving the performance of programs through the introduction of controlled program specialization. This paper makes a case for multi-stage programming with open code and closed values. We argue that a simple language exploiting interactions between two logical modalities is well suited for multi-stage programming, and report the results from our study of categorical models for multi-stage languages. Keywords: Multi-stage programming, categorical models, semantics, type systems (multi-level typed calculi), combination of logics (modal and temporal). 1

Citations

587	Notions of computation and monads – Moggi - 1991
186	Multi-stage programming with explicit annotations – Taha, Sheard - 1997
183	A modal analysis of staged computation – Davies, Pfenning - 1996
86	A mixed linear and non-linear logic: proofs, terms and models – Benton - 1995
85	A temporal-logic approach to binding-time analysis – Davies - 1996
74	Multi-Stage Programming: Its Theory and Applications – Taha - 1999
40	Multi-stage programming: Axiomatization and type-safety – Taha, Benaissa, et al. - 1998
36	A Computational Interpretation of Modal Proofs – Martini, Masini - 1996
31	Linear logic, monads and the lambda calculus – Benton, Wadler - 1996
27	A categorical account of two-level languages – Moggi - 1997
17	A categorical analysis of multi-level languages (extended abstract – Benaissa, Moggi, et al. - 1998
14	An idealized MetaML: Simpler, and more expressive (includes proofs – Moggi, Taha, et al. - 1998
10	2-Sequent calculus: Intuitionism and natural deduction – Masini - 1993
10	Topos-theoretic approaches to modalities – Reyes, Zolfaghari - 1991

View or Download | Add to My Collection | Correct Errors

y

Popular Tags

BibTeX | Add To MetaCart

Abstract:

Citations