Dynamically Adaptable Software with Metacomputations in a Staged Language (2001)

Cached

Download Links

by Bill Harrison , Tim Sheard
Citations:1 - 0 self

Active Bibliography

15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
Meta-Programming With Intensional Analysis – Tim Sheard, Zine El-abidine Benaissa
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 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
5 Search-Based Binding Time Analysis using Type-Directed Pruning – Tim Sheard, Nathan Linger - 2002
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
50 Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study – François Noël, Luke Hornof, Charles Consel, Julia L. Lawall - 1998
4 Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract) – William L. Harrison, Samuel N. Kamin - 1998
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
23 Using MetaML: a Staged Programming Language – Tim Sheard - 1999
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
31 Implicit and Explicit Parallel Programming in Haskell – Mark P. Jones, Paul Hudak - 1993
Staging Purely Functional Dynamic Programming Algorithms – Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
69 Languages of the Future – Tim Sheard - 2004
1 The Guideline for the Accounting – Andrzej Filinski, Copyright C, Andrzej Filinski, Andrzej Filinski - 2003
A Semantic Account of Type-Directed . . . – Andrzej Filinski - 1999