Typed Combinators for Generic Traversal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2257, Issue , 2002, Pages 137-154

  Lämmel, Ralf ^a,b   Visser, Joost ^a  

^a CWI   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Combinators; Genericity; Program transformation; Traversal

Indexed keywords

PROBLEM ORIENTED LANGUAGES;

COMBINATORS; FUNCTIONAL LANGUAGES; FUNCTIONAL STRATEGIES; GENERICITY; LARGE-SCALE PROGRAMS; PROGRAM TRANSFORMATIONS; SCALABILITY PROBLEMS; TRAVERSAL;

FUNCTIONAL PROGRAMMING;

EID: 84862047883     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45587-6_10     Document Type: Conference Paper

References (25)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237–268, Apr. 1991. 152
2. G. Arango, I. Baxter, P. Freeman, and C. Pidgeon. TMM: Software maintenance by transformation. IEEE Software, 3(3):27–39, May 1986. 137
3. M. Brand, M. Sellink, and C. Verhoef. Generation of Components for Software Renovation Factories from Context-free Grammars. Science of Computer Programming, 36(2–3):209–266, 2000. 137, 152
4. E. Chikofsky And J. C. II. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, 7(1):13–17, Jan. 1990. 137, 152
5. K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type-erasure semantics. ACM SIGPLANN otices, 34(1):301–312, Jan. 1999. 151, 153
6. A. Deursen, P. Klint, and C. Verhoef. Research Issues in the Renovation of Legacy Systems. In J. Finance, editor, Proc. of FASE’99, volume 1577 of LNCS, pages 1–21. Springer-Verlag, 1999. 152
7. C. Dubois, F. Rouaix, and P. Weis. Extensional polymorphism. In Conference record of POPL’95, pages 118–129. A CM Press, 1995. 151, 153
8. P. H. Eidorff, F. Henglein, C. Mossin, H. Niss, M. H. B. Sørensen, and M. Tofte. AnnoDomini: From type theory to year 2000 conversion tool. In Conference Record of POPL’99, pages 1–14. A CM press, 1999. I nvited paper. 152
9. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison Wesley, 1999. 144
10. Haskell 98: A Non-strict, Purely Functional Language, Feb. 1999. http://www.haskell.org/onlinereport/. 138
11. R. Hinze. A generic programming extension for Haskell. In E. Meijer, editor, Proceedings of the 3rd Haskell Workshop, Paris, France, Sept. 1999. Technical report, Universiteit Utrecht, UU-CS-1999-28. 153
12. P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In Conference record of POPL’97, pages 470–482. A CM Press, 1997. 153
13. J. Jeuring, editor. Proc of WGP’2000, Technical Report, Universiteit Utrecht, July 2000. 154
14. M. Jones. First-class polymorphism with type inference. In Conference record of POPL’97, pages 483–496, Paris, France, 15–17 Jan. 1997. 150
15. J. Kort, R. Lämmel, and J. Visser. Functional Transformation Systems. In 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, July 2000. 137, 152
16. 03B3'. Technical Report SEN-R0122, CWI, Aug. 2001. 153
17. R. Lämmel, J. Visser, and J. Kort. Dealing with Large Bananas. In Jeuring [13], pages 46–59. 152
18. L. Paulson. A Higher-Order Implementation of Rewriting. Science of Computer Programming, 3(2):119–149, Aug. 1983. 153
19. E. Visser. Language Independent Traversals for Program Transformation. In Jeuring [13], pages 86–104. 146
20. E. Visser, Z. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In Proc. of ICFP’98, pages 13–26, Sept. 1998. 143, 153
21. P. Wadler. Theorems for Free! In Proc of FPCA’89, London, pages 347–359. A CM Press, New York, Sept. 1989. 141
22. P. Wadler. The essence of functional programming. In Conference record of POPL’92, pages 1–14. A CM Press, 1992. 139
23. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or typebased translation? ACM SIGPLANNotices, 34(9):148–159, Sept. 1999. Proceedings of ICFP’99. 152
24. S. Weirich. Type-safe cast: (functional pearl). ACM SIGPLANNotices, 35(9):58– 67, Sept. 2000. 151
25. N. Winstanley. Derive User Guide, version 1.0. Available at http://www.dcs.gla.ac.uk/~nww/Derive/, June 1997. 149, 153