Optimizing generic functions

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

Volumn 3125, Issue , 2004, Pages 16-31

  Alimarine, Artem ^a   Smetsers, Sjaak ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

COMPILE TIME; GENERIC FUNCTIONS; OPTIMIZATION TECHNIQUES; STRUCTURAL REPRESENTATION; SYMBOLIC EVALUATION;

CODES (SYMBOLS);

EID: 35048857874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_3     Document Type: Article

References (21)

1. [AGS03] 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átions y Programación, Universidad Complutense de Madrid, Springer, 2003.
2. [AJ01] Klaus Aehlig and Felix Joachimski. Operational aspects of normalization by evaluation. Submitted to MSCS. Available from http://www.mathematik.uni-muenchen.de/~joachski, 2001.
3. [AP01] Artem Alimarine and Rinus Plasmijer. A generic programming extension for Clean. In Thomas Arts and Markus Mohnen, editors, Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001, pages 257-278, Stockholm, Sweden, September 2001. Ericsson Computer Science Laboratory.
4. [AS03] Artem Alimarine and Sjaak Smetsers. Efficient generic functional programming. Technical report, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, The Netherlands, 2003. to appear.
5. [Chi94] Wei-Ngan Chin. Safe fusion of functional expressions II: further improvements. Journal of Functional Programming, 4(4):515-555, October 1994.
6. +02] Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Loh, and Jan de Wit. The generic haskell user's guide. Technical report, uu-cs-2002-047, Utrecht University, 2002.
7. [CK96] Wei-Ngan Chin and Siau-Cheng Khoo. Better consumers for program specializations. Journal of Functional and Logic Programming, 1996(4), November 1996.
8. [DMP96] Olivier Danvy, Karoline Malmkjær, and Jens Palsberg. Eta-expansion does the trick. ACM Transactions on Programming Languages and Systems, 18(6):730-751, 1996.
9. [Fil99] Andrzej Filinski. A semantic account of type-directed partial evaluation. In Principles and Practice of Declarative Programming, pages 378-395, 1999.
10. [Hin99] Ralf Hinze. A generic programming extension for Haskell. In Erik Meijer, editor, Proceedings of the 3rd Haskell Workshop. Paris, Prance, September 1999. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28.
11. [Hin00a] Ralf Hinze. Generic programs and proofs. Habilitationsschrift, Universität Bonn, October 2000.
12. [Hin00b] Ralf Hinze. Polytypic values possess polykinded types. In Roland Backhouse and J.N. Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), volume 1837, pages 2-27, July 2000.
13. [HP01] 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.
14. [JJ97] 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.
15. [Jø92] Jesper Jørgensen. Generating a compiler for a lazy language by partial evaluation, popl '92. In The 19th ACM Symposium on Principles of Programming Languages, pages 258-268. Albuquerque, New Mexico, ACM Press, January 1992.
16. [Leu98] Michael Leuschel. Homeomorphic embedding for online termination. Technical Report DSSE-TR-98-11, Department of Electronics and Computer Science, University of Southampton, UK, October 1998.
17. [NN92] Hanne Riis Nielson and Flemming Nielson. Semantics with Applications: A Formal Introduction. Wiley Professional Computing, 1992. ISBN 0 471 92980 8.
18. [Pie02] Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002. ISBN 0-262-16209-1.
19. [ST96] Michael Sperber and Peter Thiemann. Realistic compilation by partial evaluation. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 206-214, May 1996.
20. [TM95] Akihiko Takano and Erik Meijer. Shortcut deforestation in calculational form. In Conf. Record 7th ACM SIGPLAN/SIGARCH Int. Conf. on Functional Programming Languages and Computer Architecture, FPCA '95, pages 306-313, New York, June 1995. La Jolla, San Diego, CA, USA, ACM Press.
21. [Wad88] 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.