Efficient Interpretation by Transforming Data Types and Patterns to Functions

Trends in Functional Programming: Volume 7

Volumn 7, Issue , 2005, Pages 73-90

  Jansen, Jan Martin ^a   Koopman, Pieter ^b   Plasmeijer, Rinus ^b  

^a NETHERLANDS DEFENCE ACADEMY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85206024833     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (17)

1. The Haskell Home Page. www.Haskell.org.
2. Hugs Online. www.Haskell.org/hugs.
3. L. Augustsson. Compiling pattern matching. In Jouannaud, editor, Conference on Functional Programming Languages and Computer Architectures, Nancy, volume 201 of Lecture Notes in Computer Science, pages 368–381. Springer Verlag, 1985.
4. H.P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. North-Holland, 1981.
5. H.P. Barendregt. The impact of the lambda calculus in logic and computer science. The Bulletin of Symbolic Logic, 3(2):181–215, 1997.
6. A. Berarducci and C. Bohm. A self-interpreter of lambda calculus having a normal form, volume 702 of Lecture Notes in Computer Science, pages 85–99. Springer Verlag, 1993.
7. C. Bohm and A. Berarducci. Automatic synthesis of typed l–programs on term algebras. Theoretical Computer Science, 39:135–154, 1985.
8. D. Bruin. Personal communication.
9. D. Bruin. The amanda interpreter. www.engineering.tech.nhl.nl/engineering/personeel/bruin/data/amanda203.zip.
10. W. Kluge. Abstract Computing Machines. Texts in Theoretical Computer Science. Springer-Verlag, 2004.
11. D. Leijen. The Abroad – A Functional Approach to Software Components. PhD thesis, Department of Computer Science, Universiteit Utrecht, The Netherlands, 2003.
12. S.L. Peyton Jones. The Implementation of Functional Programming Languages. International Series in Computer Science. Prentice-Hall, 1987.
13. S.L. Peyton Jones. Implementing lazy functional languages on stock hardware: the spineless tagless g-machine. Journal of Functional Programming, 2(2):127–202, 1992.
14. R. Plasmeijer and M. van Eekelen. Functional Programming and Parallel Graph Rewriting. International Computer Science Series. Addison-Wesley, 1993.
15. Software Technology Group, the Institute of Information and Computing Sciences, Utrecht University, the Netherlands. The Helium Project. www.cs.uu.nl/helium.
16. Software Technology Research Group, Radboud University Nijmegen. The Clean Home Page. www.cs.ru.nl/˜clean.
17. Software Technology Research Group, Radboud University Nijmegen. The SAPL Home Page. www.cs.ru.nl/˜jmjansen/sapl.