Programmable type systems for domain specific languages

Electronic Notes in Theoretical Computer Science

Volumn 76, Issue , 2002, Pages 233-251

  Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; EMBEDDED SYSTEMS; FUNCTIONS; HTML; PROBLEM SOLVING; SEMANTICS; WORLD WIDE WEB;

EMBEDDED DOMAIN SPECIFIC LANGUAGES (EDSL); FUNCTIONAL PROGRAMMING LANGUAGES; GENERIC PROGRAMMING; WEB SERVICES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 16244403782     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80796-5     Document Type: Conference Paper

References (19)

1. Aho A.V., Sethi R., Ullman J.D. Compilers Principles, Techniques, and Tools. 1964;Addison-Wesley. 2
2. Brzozowski J.A. Derivatives of regular expressions. Journal of the ACM. 11:(4):1964;481-494. 3.3
3. Dowek G. Higher-order unification and matching. Robinson A., Voronkov A. Handbook of Automated Reasoning, volume 2, chapter 16. 2001;1009-1062 North-Holland. 4.2
4. M. Gasbichler, M. Neubauer, M. Sperber, and P. Thiemann. Functional logic overloading. In J. Mitchell, editor, Proc. 29th Annual ACM Symposium on Principles of Programming Languages, pages 233-244, Portland, OR, USA, Jan. 2002. ACM Press. 1, 3.3, 4.3, 5
5. K. Glynn, P. Stuckey, and M. Sulzmann. Type classes and constraint handling rules. In First Workshop on Rule-Based Constraint Reasoning and Programming, July 2000. 5
6. Hanus M. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming. 19:(20):1994;583-628. 3.3
7. M. Hanus. A unified computation model for functional and logic programming. In N. D. Jones, editor, Proc. 24th Annual ACM Symposium on Principles of Programming Languages, pages 80-93, Paris, France, Jan. 1997. ACM Press. 3.3
8. Haskell 98, a non-strict, purely functional language. http://www.haskell.org/definition, Dec. 1998. 1
9. Hinze R. Polytypic values possess polykinded types. Science of Computer Programming. 43:(2-3):June 2002;129-159. 4.3, 5
10. R. Hiuze and S. Peyton Jones. Derivable type classes. In G. Hutto, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41 of Electronic Notes in Theoretical Computer Science, Montreal, Canada, Sept. 2001. Elsevier Science. 5
11. M. P. Jones. Type classes with functional depdnecies. In G. Smolka, editor, Proc. 9th European Symposium on Programming, number 1782 in Lecture Notes in Computer Science, pages 230-244, Berlin, Germany, Mar. 2000. Springer-Verlag. 2
12. Launchbury J., Peyton Jones S.L. State in Haskell. Lisp and Symbolic Computation. 8:(4):Dec. 1995;293-341. 4.4
13. M. Neubauer and P. Thiemann. Type classes with more higher-order polymorphism. In S. Peyton-Jones, editor, Proc. International Confernce on Funcational Programming 2002, Pittsburgh, PA, USA, Oct. 2002. ACM Press, New York. 1, 4.2
14. M. Neubauer, P. Thiemann, M. Gasbichler, and M. Sperber. A functional notation for functional dependencies. In R. Hinze, editor, Proceedings of the 2001 Haskell Workshop, 2001. to apper. 3.3
15. Odersky M., Sulzmann M., Wehr M. Type inference with constrained types. Theory and Practice of Object Systems. 5:(1):1999;35-55. 1
16. Thiemann P. A tped representation for HTMl and XML in Haskell. Journal of Funcational Programming. 12:(4-5):July 2002;435-468. 1,2,2,4,5
17. P. Thiemann. Wash/CGI: Server-side Web scripting with sessions and typed, compositional forms. In Practical Aspects of Declarative Languages, Proceedings of the Fourth International Workshop, PADL'02, number 2257 in Lecture Notes in Computer Science, pages 192-208, Portland, OR, USA, Jan. 2002. Springer-Verlag. 1,2,5
18. Web authoring system in Haskell (WASH). http://informatik.uni-freiburg. de/~thiemann/haskell/WASH, Mar. 2001. 1
19. XHTML 1.0: The extensible hypertext markup language. http://www.w3.org/ TR/xhtml1, Jan. 2000. 3