Polymorphic embedding of DSLs

GPCE'08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2008, Pages 137-147

  Hofer, Christian ^a   Ostermann, Klaus ^a   Rendel, Tillmann ^a   Moors, Adriaan ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Algebraic semantics; Compositionality; Domain specific languages; Extensibility; Pure embedding; Scala

Indexed keywords

CONCURRENT ENGINEERING; DSL; INFORMATION THEORY; JOB ANALYSIS; MODEMS; QUERY LANGUAGES; RAPID PROTOTYPING; SEMANTICS; TELECOMMUNICATION LINES;

ALGEBRAIC SEMANTICS; COMPOSITIONALITY; DOMAIN-SPECIFIC LANGUAGES; EXTENSIBILITY; PURE EMBEDDING; SCALA;

LINGUISTICS;

EID: 63449137141     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449913.1449935     Document Type: Conference Paper

References (31)

1. J. Carette, O. Kiselyov, and C. Shan. Finally tagless, partially evaluated. In Asian Symposium on Programming Languages and Systems (APLAS'07), pages 222-238. Springer LNCS 4807, 2007.
2. K. Czarnecki, J. T. O'Donnell, J. Striegnitz, and W. Taha. DSL implementation in MetaOCaml, Template Haskell, and C++. In Domain-Specific Program Generation, volume 3016 of LNCS, pages 51-72. Springer, 2003.
3. T. Ekman and G. Hedin. The JastAdd extensible Java compiler. In R. P. Gabriel, D. F. Bacon, C. V. Lopes, and G. L. S. Jr., editors, OOPSLA '07: Proceedings of the 22th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 1-18. ACM, 2007.
4. C. Elliott. Functional images. In The Fun of Programming, "Cornerstones of Computing" series. Palgrave, Mar. 2003. 149-159
5. C. Elliott, S. Finne, and O. D. Moor. Compiling embedded languages. J. Funct. Program., 13(3):455-481, 2003.
6. E. Ernst. Family polymorphism. In ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, pages 303-326, London, UK, 2001. Springer-Verlag.
7. E. Ernst, K. Ostermann, and W. Cook. A virtual class calculus. In 33rd ACM Symposium on Principles of Programming Languages (POPL'06). ACM SIGPLAN-SIGACT, 2006.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, Boston, MA, 1995.
9. R. Garcia, J. Jarvi, A. Lumsdaine, J. Siek, and J. Willcock. An extended comparative study of language support for generic programming. J. Funct. Program., 17(2):145-205, 2007.
10. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. J. ACM, 24(1):68-95, 1977.
11. S. S. Huang, D. Zook, and Y. Smaragdakis. Morphing: Safely shaping a class in the image of others. In Proceedings ECOOP'07, pages 399424. Springer LNCS, 2007.
12. P. Hudak. Building domain-specific embedded languages. ACM Comput. Surv., 28(4), 1996.
13. P. Hudak. Modular domain specific languages and tools. In P. Devanbu and J. Poulin, editors, Proceedings: Fifth International Conference on Software Reuse, pages 134-142. IEEE Computer Society Press, 1998.
14. G. Hutton and E. Meijer. Monadic Parsing in Haskell. Journal of Functional Programming, 8(4):437-444, July 1998.
15. S. Kamin. Research on domain-specific embedded languages and program generators, 1998.
16. M. Mernik, J. Heering, and A. M. Sloane. When and how to develop domain-specific languages. ACM Comput. Surv., 37(4):316-344, 2005.
17. E. Moggi. A modular approach to denotational semantics. In Category Theory and Computer Science, Springer LNCS 530, pages 138-139, 1991.
18. A. Moors, F. Piessens, and M. Odersky. Generics of a higher kind. In Proceedings of OOPSLA '08 (to appear), 2008.
19. P. D. Mosses. Denotational semantics. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pages 575-631. 1990.
20. P. D. Mosses. Modular structural operational semantics. J. Log. Algebr. Program., 60-61:195-228, 2004.
21. M. Odersky, P. Altherr, V. Cremet, I. Dragos, G. Dubochet, B. Emir, S. McDirmid, S. Micheloud, N. Mihaylov, M. Schinz, L. Spoon, E. Stenman, and M. Zenger. An Overview of the Scala Programming Language (2. edition). Technical report, 2006.
22. M. Odersky, V. Cremet, C. Rckl, and M. Zenger. A nominal theory of objects with dependent types. In Proceedings ECOOP '03. Springer LNCS, 2003.
23. M. Odersky and M. Zenger. Scalable component abstractions. In OOPSLA '05, pages 41-57, New York, NY, USA, 2005. ACM.
24. J. Paakki. Attribute grammar paradigms-a high-level methodology in language implementation. ACM Comput. Surv., 27(2):196-255, 1995.
25. F. Pfenning and C. Elliot. Higher-order abstract syntax. SIGPLAN Not., 23(7):199-208, 1988.
26. S. Seefried, M. M. T. Chakravarty, and G. Keller. Optimising embedded DSLs using Template Haskell. In G. Karsai and E. Visser, editors, GPCE, volume 3286 of Lecture Notes in Computer Science, pages 186-205. Springer, 2004.
27. T. Sheard. Languages of the future. In OOPSLA '04 Companion, pages 116-119, New York, NY, USA, 2004. ACM.
28. T. Sheard and S. Peyton Jones. Template metaprogramming for Haskell. In M. M. T. Chakravarty, editor, ACM SIGPLAN Haskell Workshop 02, pages 1-16. ACM Press, Oct. 2002.
29. W. Taha. A gentle introduction to multi-stage programming. In Domain-Specific Program Generation, Springer LNCS 3016, pages 30-50, 2003.
30. E. Van Wyk, L. Krishnan, A. Schwerdfeger, and D. Bodin. Attribute grammar-based language extensions for Java. In ECOOP'07,LNCS. Springer Verlag, July 2007.
31. H. Xi, C. Chen, and G. Chen. Guarded recursive datatype constructors. In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles ofprogramming languages, pages 224-235, New York, NY, USA, 2003. ACM.