Calculate polytypically!

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

Volumn 1140, Issue , 1996, Pages 1-16

  Meertens, Lambert ^a,b  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY;

COMBINATOR; DATA TYPE; FUNCTION DEFINITIONS; POLYTYPIC FUNCTIONS; PROGRAMMING IDIOMS;

COMPUTATIONAL LINGUISTICS;

EID: 84957703507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61756-6_73     Document Type: Conference Paper

References (37)

1. Roland Backhouse, Henk Doornbos and Paul Hoogendijk. A Class of Commuting Relators. Unpublished, Eindhoven University of Technology, 1992. WWW f tp://ftp.win.tue.nl/pub/math.prog.construct ion/zip.dvi.Z.
2. Richard S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series, pages 5-42. Springer-Verlag, 1987.
3. Richard Bird and Oege de Moor. Algebra of Programming. To appear, Prentice Hall, 1996.
4. Richard Bird, Oege de Moor and Paul Hoogendijk. Generic functional programming with types and relations. J. of Functional Programming, 6(1):1-28, 1996.
5. Oege de Moor. A Generic Program for Sequential Decision Processes. In Manuel Hermenegildo and S. Doaitse Swierstra, editors, PLILP'95: Programming Languages: Implementations, Logics and Programs, volume 982 of LNCS, pages 1-23. Springer Verlag, 1995.
6. Leonidas Fegaras and Tim Sheard. Revisiting catamorphisms over datatypes with embedded functions. In Proceedings Principles of Programming Languages, POPL '96, 1996.
7. Maarten M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, Dept INF, Enschede, The Netherlands, 1992.
8. Maarten M. Fokkinga. Calculate categorically! Formal Aspects of Computing, 4(4):673-692, 1992.
9. Maarten M. Fokkinga. A gentle introduction to category theory - the calculational approach. In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, pages 1-72 of Part 1. Utrecht University, 1992.
10. Maarten M. Fokkinga. Monadic maps and folds for arbitrary datatypes. Memoranda Informatica 94-28, University of Twente, 1994.
11. Maarten M. Fokkinga. Datatype laws without signatures. Mathematical Structures in Computer Science, 6:1-32, 1996.
12. Peter Freyd. Recursive types reduced to inductive types. In Proceedings Logic in Computer Science, LICS '90, pages 498-507, 1990.
13. Tatsuya Hagino. Category Theoretic Approach to Data Types. PhD thesis, University of Edinburgh, 1987.
14. Paul F. Hoogendijk. Generators, Destructors and Natural Transformations. Unpublished, Eindhoven University of Technology, 1993. WWW ftp://ftp.win.tue.nl/pub/math.prog.construetion/gendes.dvi.Z.
15. John Hughes. The Design of a Pretty-printing Library. In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming, LNCS 925, pages 53-96. Springer Verlag, 1995.
16. Marieke Huisman. The Calculation of a Polytypic Parser. Master's thesis, Utrecht University, Dept, of Computing Science, 1996.
17. Patrik Jansson. Polytypism and Polytypic Unification. Master's thesis, Chalmers University of Technology and University of Göteborg, 1995. WWW file:// ftp.cs.chalmers.se/pub/users/patrikj/papers/masters/thesis.ps.Z.
18. Patrik Jansson and Johan Jeuring. Polyp - a polytypic programming language. Submitted for publication, 1996. WWW http://wHW.cs.chalmers.se/-johanj/ polytypism/polyp.ps.
19. Patrik Jansson and Johan Jeuring. Polytypic unification - implementing polytypic functions with constructor classes. Submitted for publication, 1996. WWW http://www.cs.chalmers.se/ johanj/polytypism/unify.ps.
20. Patrik Jansson and Johan Jeuring. Type inference for polytypic functions. In preparation, 1996.
21. Johan Jeuring. Polytypic pattern matching. In S. Peyton Jones, editor, Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238-248, 1995. WWW http://www.cs.chalmers.se/~johanj/ppm.dvi.
22. Johan Jeuring and Patrik Jansson. Polytypic programming. To appear in Proceedings of the Second International Summer School on Advanced Functional Programming Techniques, LNCS, Springer Verlag, 1996. WWW ht tp://www.cs.chalmers.se/~j ohan j/polytyp ism/not es.ps.
23. Mark P. Jones. Functional Programming with Overloading and Higher-Order Polymorphism. In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming, LNCS 925, pages 97-136. Springer Verlag, 1995.
24. Grant Malcolm. Homomorphisms and promotability. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, LNCS 375, pages 335-347. Springer Verlag, 1989.
25. Grant Malcolm. Algebraic Data Types and Program Transformation. PhD thesis, University of Groningen, 1990.
26. Grant Malcolm. Data structures and program transformation. Science of Computer Programming, 14(2-3):255-280, 1990.
27. Ernest G. Manes and Michael A. Arbib. Algebraic Approaches to Program Semantics. Text and Monographs in Computer Science. Springer Verlag, 1986.
28. Lambert Meertens. Algorithmics-towards programming as a mathematical activity. In J.W. de Bakker, M. Hazewinkel, and J.K. Lenstra, editors, Proceedings of the CWI Symposium on Mathematics and Computer Science, volume 1 of CWI Monographs, pages 289-334. North-Holland, 1986.
29. Lambert Meertens. Paramorphisms. Formal Aspects of Computing, 4(5):413-425, 1992.
30. Lambert Meertens. Category Theory for Program Construction by Calculation. Lecture Notes for ESSLLI'95, 1995. WwW http://www.cwi.nl/-lambert/ e95.ps.Z.
31. Erik Meijer, Maarten M. Fokkinga and Ross Paterson. Functioned programming with bananas, lenses, envelopes and barbed wire. In FPCA91: Functional Programming Languages and Computer Architecture, LNCS 523, pages 124-144. Springer Verlag, 1991.
32. Erik Meijer and Graham Hutton. Bananas in space: extending fold and unfold to exponential types. In S. Peyton Jones, editor, Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 324-333, 1995.
33. Fritz Ruehr. Analytical and Structural Polymorphism Expressed Using Patterns Over Types. PhD thesis, University of Michigan, 1992.
34. Tim Sheard. Type parametric programming with compile-time reflection. Oregon Graduate Institute of Science and Technology, 1993.
35. Tim Sheard and Leonidas Fegaras. A Fold for All Seasons. In FPCA '93, Conference on Functional Programming Languages and Computer Architecture, pages 233-242. ACM Press, 1993. WWW ftp://cse.ogi.edu/pub/crml/fpca93.ps.Z.
36. Daniel Tuijnman. A Categorical Approach to Functional Programming. PhD thesis, Universitãt Ulm, Fakultät für Informatik, Abteilung Programmiermethodik und Compilerbau, 1995.
37. Phil Wadler. Theorems for free! In Functional Programming Languages and Computer Architecture, FPCA '89, pages 347-359. ACM Press, 1989.