Implementing DSLs in metaOCaml

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementing DSLs in metaOCaml

Full text

Pdf (96 KB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications table of contents

Vancouver, BC, CANADA

DEMONSTRATION SESSION: Demonstrations table of contents

Pages: 41 - 42

Year of Publication: 2004

ISBN:1-58113-833-4

Authors

Miguel Guerrero	Rice University
Edward Pizzi	Rice University
Robert Rosenbaum	Rice University
Kedar Swadi	Rice University
Walid Taha	Rice University

Sponsors

ACM: Association for Computing Machinery
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 19, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1028664.1028687 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Jon Bentley, Programming pearls: little languages, Communications of the ACM, v.29 n.8, p.711-721, Aug. 1986 [doi>10.1145/6424.315691]
	2	Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy, Implementing multi-stage languages using ASTs, Gensym, and reflection, Proceedings of the second international conference on Generative programming and component engineering, p.57-76, September 22-25, 2003, Erfurt, Germany
	3	Brian Harvey, Computer science Logo style (2nd ed.): volume 1: symbolic computing, MIT Press, Cambridge, MA, 1997
	4	P. Hudak, Modular Domain Specific Languages and Tools, Proceedings of the 5th International Conference on Software Reuse, p.134, June 02-05, 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 mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract), Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, p.34-43, January 22-23, 2000, Boston, Massachusetts, United States
	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 , Michael Florentin Nielsen, Environment classifiers, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.26-37, January 15-17, 2003, New Orleans, Louisiana, USA