DSL Implementation Using Staging and Monads (1999)

Cached

Download Links

by Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic
Venue:In Second Conference on Domain-Specific Languages (DSL'99
Citations:15 - 5 self

Active Bibliography

2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
1 Dynamically Adaptable Software with Metacomputations in a Staged Language – Bill Harrison, Tim Sheard - 2001
Modular Monadic Semantics – Sheng Liang, Paul Hudak
96 How to Declare an Imperative – Philip Wadler - 1995
Meta-Programming With Intensional Analysis – Tim Sheard, Zine El-abidine Benaissa
1 Denotational semantics of ANSI C – Nikolaos S. Papaspyrou - 2001
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
23 Using MetaML: a Staged Programming Language – Tim Sheard - 1999
Interpretational Overhead in system software – Boris Feigin - 2011
69 Languages of the Future – Tim Sheard - 2004
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
237 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
2 Deriving Compilers and Virtual Machines for a Multi-Level Language – Atsushi Igarashi, Masashi Iwaki
47 First-class Polymorphism with Type Inference – Mark P. Jones
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
42 Encoding types in ML-like languages – Zhe Yang - 1998
Languages – Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira