Improved fusion for optimizing generics

Lecture Notes in Computer Science

Volumn 3350, Issue , 2005, Pages 203-218

  Alimarine, Artem ^a   Smetsers, Sjaak ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Fusion; Generic polytypic programming; Program transformation

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; OPTIMIZATION;

FUNCTIONAL PROGRAMMING COMMUNITY; GENERIC PROGRAMMING; PROGRAM DEVELOPMENT; TYPE-INDEXED VALUES;

COMPUTER PROGRAMMING;

EID: 23944517839     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30557-6_16     Document Type: Conference Paper

References (9)

1. Artem Alimarine and Sjaak Smetsers. Fusing generic functions. Technical report NIII-R0434, University of Nijmegen, Sep 2004.
2. Artem Alimarine and Sjaak Smetsers. Optimizing generic functions. In Dexted Kozen, editor, Mathematics of Program Construction, number 3125 in LNCS, pages 16-31, Stirling, Scotland, UK, July 2004. Springer.
3. Diederik van Arkel, John van Groningen, and Sjaak Smetsers. Fusion in practice. In Ricardo Peña and Thomas Arts, editors, The 14th International Workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS, pages 51-67. Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Springer, 2003.
4. Wei-Ngan Chin. Safe fusion of functional expressions II: further improvements. Journal of Functional Programming, 4(4):515-555, October 1994.
5. Wei-Ngan Chin and Siau-Cheng Khoo. Better consumers for program specializations. Journal of Functional and Logic Programming, 1996(4), November 1996.
6. Ralf Hinze. Generic programs and proofs. Habilitationsschrift, Universität Bonn, October 2000.
7. Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001. The preliminary proceedings appeared as a University of Nottingham technical report.
8. P. Jansson and J. Jeuring. Polyp - a polytypic programming language extension. In The 24th ACM Symposium on Principles of Programming Languages, POPL'97, pages 470-482. ACM Press, 1997.
9. Phil Wadler. Deforestation: transforming programs to eliminate trees. In Proceedings of the European Symposium on Programming, number 300 in LNCS, pages 344-358, Berlin, Germany, March 1988. Springer-Verlag.