Krzysztof Czarnecki, John O'Donnell, Jörg Striegnitz, Walid Taha  Home/Search
Context
Related
| rice.edu/~taha/publication...dspg04b.ps From: rice.edu/~taha/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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