Typed transformations of typed abstract syntax

Proceedings of the 2009 ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'09

Volumn , Issue , 2009, Pages 15-26

  Baars, Arthur I ^a   Swierstra, S Doaitse ^b   Viera, Marcos ^c  

^a INSTITUTO TECNOLÓGICO DE INFORMÁTICA   (Spain)

^b UTRECHT UNIVERSITY   (Netherlands)

^c UNIVERSIDAD DE LA REPÚBLICA   (Uruguay)

Author keywords

GADT, Meta Programming, Type Systems, Typed Transformations, Common Subexpression Elimination

Indexed keywords

ABSTRACT SYNTAX; ABSTRACTION MECHANISM; CORNER TRANSFORMATION; DENOTATIONAL SEMANTICS; EMBEDDED DOMAINS; EMBEDDED LANGUAGES; GADT, META PROGRAMMING, TYPE SYSTEMS, TYPED TRANSFORMATIONS, COMMON SUBEXPRESSION ELIMINATION; GLOBAL ANALYSIS; HASKELL; LIBRARY USE; PROGRAM FRAGMENTS; RECURSIVE STRUCTURE; RUNTIME; SEMANTIC MAPPING; SPECIFIC LANGUAGES; SYNTAX TREE; SYSTEM-BASED; TYPE SYSTEMS; TYPED SYNTAX; TYPING RULES;

ABSTRACTING; JAVA PROGRAMMING LANGUAGE; QUERY LANGUAGES; SECURITY OF DATA; SEMANTICS; SYNTACTICS;

LINGUISTICS;

EID: 67650085321     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1481861.1481865     Document Type: Conference Paper

References (16)

1. Arthur Baars and S. Doaitse Swierstra. Typed transformations of typed abstract syntax. UU-CS 21, Utrecht University, 2008.
2. Arthur I. Baars and S. Doaitse Swierstra. Typing dynamic typing. In S. Peyton Jones, editor, Proceedings of the seventh ACM SIGPLAN international conference on Functional prArthur I. Baars and S. Doaitse Swierstra. Type-safe, self-inspecting code. In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, pages 69-79, New York, NY, USA, 2004. ACM Press. ISBN 1-58113-850-4.
3. Arthur I. Baars, S. Doaitse Swierstra, and Marcos Viera. TTTAS HackageDB package. URL http://hackage.haskell.org/ cgi-bin/hackage-scripts/package/TTTAS.
4. Chiyan Chen and Hongwei Xi. Implementing typeful program transformations. In PEPM'03, 2003. (Pubitemid 43317262)
5. James Cheney and Ralf Hinze. First-Class Phantom Types. Technical report TR2003-1901, Cornell University, 2003. http://techreports.library.cornell.edu: 8081/Dienst/UI/1.0/Display/cul.c%is/TR2003-1901.
6. EHC. Essential haskell compiler. URL *http://www.cs.uu.nl/wiki/Ehc.
7. GHC. Glasgow haskell compiler. URL *http://www.haskell.org/ghc/.
8. Hackage. Hackage. URL *http://hackage.haskell.org/.
9. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, 2000.
10. Hugs. Hugs. URL http://www.haskell.org/hugs/.
11. John Launchbury and Simon L. Peyton Jones. Lazy functional state threads. In SIGPLAN Conference on Programming Language Design and Implementation, pages 24-35, 1994. URL citeseer.ist.psu.edu/article/launchbury93lazy.html.
12. John Launchbury and Simon L. Peyton Jones. Lazy functional state threads. In SIGPLAN Conference on Programming Language Design and Implementation, pages 24-35, 1994. URL citeseer.ist.psu.edu/article/launchbury93lazy.html. Emir Pasalic and Nathan Linger. Meta-programming with typed object-language representations. In Generative Programming and Component Engineering (GPCE'04), volume LNCS 3286, pages 136 - 167, October 2004. (Pubitemid 39745353)
13. Ross Paterson. A new notation for arrows. In International Conference on Functional Programming, pages 229-240. ACM Press, September 2001. (Pubitemid 33006749)
14. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Simple unification-based type inference for gadts. SIGPLAN Not., 41(9):50-61, 2006. ISSN 0362-1340. (Pubitemid 44642854)
15. Marcos Viera, S. Doaitse Swierstra, and Eelco Lempsink. Haskell do you read me? constructing and composing efficient top-down parsers at runtime. In A. Gill, editor, Haskell Symposium. ACM, 2008.
16. Stephanie Weirich. Type-safe cast. In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 58-67. ACM press, 2000. ISBN 1-58113-202-6.