Implementing DSLs in MetaOCaml

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2004, Pages 41-42

  Guerrero, Miguel ^a   Pizzi, Edward ^a   Rosenbaum, Robert ^a   Swadi, Kedar ^a   Taha, Walid ^a  

^a Rice University   (United States)

Author keywords

Multi stage programming; Program generation; Staged interpreters

Indexed keywords

ADVANCED TECHNOLOGY; AGILE METHODS; ASPECT-ORIENTED; DESIGN EXPERIENCE; DYNAMIC COMPILATION; EXPERT PANELS; MULTI-STAGE PROGRAMMING; OBJECT TECHNOLOGY; OBJECT-ORIENTED PROGRAMMING LANGUAGES; POSTER SESSIONS; PROGRAM GENERATION; REFACTORINGS; SMALLTALK; STAGED INTERPRETERS; STUDENT RESEARCH;

ASPECT ORIENTED PROGRAMMING; AUTOMATIC PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING; PERSONAL COMPUTING; PROGRAM INTERPRETERS; RESEARCH;

OBJECT ORIENTED PROGRAMMING;

EID: 78650162964     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1028664.1028687     Document Type: Conference Paper

References (9)

1. Jon Bentley. Little languages. CACM, 29(8):711-721, 1986.
2. Cristiano Calcagno, Walid Taha, Liwen Huang, and Xavier Leroy. Implementing multi-stage languages using ASTs, gensym, and reflection. In Krzyszt of Czarnecki, Frank Pfenning, and Yannis Smaragdakis, editors, Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science. Springer-Verlag, 2003.
3. Brian Harvey. Computer Science Logo Style, Volume 1: Symbolic Computing, Second Edition. The MIT Press, Cambridge, Massachusetts, 1997.
4. Paul Hudak. Modular domain specific languages and tools. In Proceedings of Fifth International Conference on Software Reuse, pages 134-142. IEEE Computer Society, June 1998.
5. Xavier Leroy. Objective Caml, 2000. Available from http://caml.inria.fr/ ocaml/.
6. MetaOCaml: A compiled, type-safe multi-stage programming language. Available online from http://www.metaocaml.org/, 2003.
7. Walid Taha. A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial. In Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Maniplation (PEPM), Boston, 2000. ACM Press.
8. Walid Taha. A gentle introduction to multi-stage programming. In Don Batory, Charles Consel, Christian Lengauer, and Martin Odersky, editors, Domain-specific Program Generation, LNCS. 2004.
9. Walid Taha and Michael Florentin Nielsen. Environment classifiers. In The Symposium on Principles of Programming Languages (POPL '03), New Orleans, 2003.