See this document in CiteSeerX!

DSL Implementation in MetaOCaml, Template Haskell, and C++  (Make Corrections)  
Krzysztof Czarnecki, John O'Donnell, Jörg Striegnitz, Walid Taha



  Home/Search   Context   Related

 
View or download:
rice.edu/~taha/publication...dspg04b.ps


From:  rice.edu/~taha/publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: A wide range of domain-speci c languages (DSLs) has been implemented successfully by embedding them in general purpose languages. (Update)

Active bibliography (related documents):   More   All
0.6:   Real-Time FRP - Wan, Taha, Hudak (2001)   (Correct)
0.5:   Active Libraries and Universal Languages - Veldhuizen (2004)   (Correct)
0.5:   Beyond Pretty-Printing: Galley Concepts in Document Formatting.. - Kahl (1999)   (Correct)

Similar documents based on text:   More   All
0.4:   ML-like Inference for Classifiers - Calcagno, Moggi, Taha (2004)   (Correct)
0.3:   A Bytecode-Compiled, Type-safe, Multi-Stage Language - Calcagno, Taha, Huang, Leroy (2001)   (Correct)
0.2:   Semantic and Logical Properties of Stateful Programming - Calcagno (2002)   (Correct)

BibTeX entry:   (Update)

@misc{ czarnecki-dsl,
  author = "Krzysztof Czarnecki and John O'Donnell and Jörg Striegnitz and Walid Taha",
  title = "DSL Implementation in MetaOCaml, Template Haskell, and C++",
  url = "citeseer.ist.psu.edu/724112.html" }
Citations (may not include all citations):
638   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
369   Information and Computation (context) - Moggi, computation - 1991
244   Imperative functional programming - Jones, Wadler - 1993
165   Generative Programming: Methods (context) - Czarnecki, Eisenecker - 2000
133   Multi-stage programming with explicit annotations - Taha, Sheard - 1997
116   volume 1924 of Lecture Notes in Computer Science (context) - Taha, Semantics et al. - 2000
67   Expression templates - Veldhuizen - 1995
59   Multi-Stage Programming: Its Theory and Applications - Taha - 1999
46   Lava: Hardware design in Haskell - Bjesse, Claessen et al. - 1999
40   Template metaprograms (context) - Veldhuizen - 1995
38   A sound reduction semantics for untyped CBN multi-stage comp.. - Taha - 2000
34   Template metaprogramming for Haskell - Sheard, Jones - 2002
31   Traits: a new and useful template technique (context) - Myers - 1995
31   Programming languages { C (context) - IEC - 2003
27   MetaML: Multi-stage programming with explicit annotations - Taha, Sheard - 2000
27   Compiling embedded languages - Elliott, rn et al. - 2000
26   Parallel Programming in OpenMP (context) - Chandra, Dagum et al. - 2000
24   Functional reactive animation - Elliott, Hudak - 1997
22   DSL implementation using staging and monads - Sheard, Benaissa et al. - 1999
22   What not to do when writing an interpreter for specialisatio.. - Jones - 1996
21   The Haskell School of Expression { Learning Functional Progr.. (context) - Hudak - 2000
19   Implementing layered designs with mixin layers - Smaragdakis, Batory - 1998
19   Haskore music notation { an algebra of music - Hudak, Makucevich et al. - 1996
19   Generative programming and active libraries (context) - Czarnecki, Eisenecker et al. - 2000
18   Implementing multi-stage languages using asts (context) - Calcagno, Taha et al. - 2003
17   Macros as multi-stage computations: Type-safe (context) - Ganz, Sabry et al. - 2001
16   type-safe multi-stage programming language (context) - compiled - 2003
16   Haskell 98 language and libraries (context) - Jones - 2003
13   Popart: Producer of parsers and related tools (context) - Wile - 1981
12   Synthesizing objects (context) - Czarnecki, Eisenecker - 1999
11   Building domain speci c embedded languages (context) - Hudak - 1996
10   Tagless staged interpreters for typed languages - Pa, Walid et al. - 2002
9   A language for declarative robotic programming - Peterson, Hager et al. - 1999
9   Pictures: A simple structured graphics model - Finne, Jones - 1995
8   Synthesizing object-oriented and functional design to promot.. - Krishnamurti, Felleisen et al. - 1998
7   Microprocessor speci cation in Hawk (context) - Matthews, Cook et al. - 1998
6   Prime number computation (context) - Unruh - 1994
6   An expression template aware lambda function - org, Stephen - 2000
6   The lambda library: Lambda abstraction in c (context) - arvi, Powell - 2001
4   Journal of Functional Programming (context) - Hutton - 1993
3   Pete: The portable expression template engine (context) - Haney, Crotinger et al. - 1999
3   Unrolling and simplifying expressions with Template Haskell - Lynagh - 2003
3   Even higher-order functions for parsing or why would anyone .. (context) - Okasaki - 1998
2   Pretty-printing: an exercise in functional programming (context) - Hughes - 1993
2   Programmable Type Systems for Domain Speci c Languages (context) - Thiemann - 2002
2   Functional reactive programming in Java (context) - Courtney - 2001
1   Parsers and printers as stream destructors embedded in funct.. (context) - Mauny - 1989
1   Named parameters for con guration generators (context) - Czarnecki, Eisenecker - 2000
1   Multi-stage programming course projects (context) - Students - 2000
1   Partial evaluation of computation: An approach to a compiler.. (context) - Futamura - 1971
1   Linear algebra with C++ template metaprograms (context) - Veldhuizen, Ponnambalam - 1996
1   Staged notational de nitions (context) - Taha, Johann - 2003
1   Overview of Hydra: A concurrent language for synchronous dig.. (context) - O'Donnell - 2002
1   Automatic Skeletons in Template Haskell (context) - Hammond, Loogen et al. - 2003
1   Template Haskell: A report from the eld (context) - Lynagh - 2003
ftp://cse.ogi.edu/pub/tech-reports/README.html
http://www.boost.org/libs/type
http://www.boost.org/libs/mpl/doc/

Documents on the same site (http://www.cs.rice.edu/~taha/publications.html):   More
Resource-Aware Programming - Taha   (Correct)
Logical Modalities and Multi-Stage Programming - Zine El-Abidine Benaissa (1999)   (Correct)
Tag Elimination and Jones-Optimality (includes proofs) - Taha, Makholm, Hughes   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC