Quelque sujets d'approfondissement
Programmation polytypique
Applications du polytypisme
Bibliographie
Staffan Björk. Parsers, Pretty Printers and PolyP. Master's thesis, Göteborg University, 1997.
MÚns Vestin. Genetic algorithms in Haskell with polytypic programming. Master's thesis, Göteborg University, 1997.
P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. (abstract) In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470--482, 1997.
J. Jeuring and P. Jansson. Polytypic programming. (abstract) (problem) In J. Launchbury, E. Meijer and T. Sheard Advanced Functional Programming, LNCS 1129, pages 68--114, Springer-Verlag, 1996.
J. Jeuring. Polytypic pattern matching. (abstract) In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238--248, 1995.
P. Jansson. Polytypism and polytypic unification. Master's thesis, Chalmers University of Technology, 1995.
P. Jansson and J. Jeuring. Polytypic Unification. (abstract) Submitted for publication.
PolyP - a polytypic programming language
Une extension de Gofer/Haskell ici.
Algebra of programming
- The Algebra of Programming Group. University of Oxford.
- Mathematics of Program Construction Group. Eindhoven University of Technology.
- Algorithms and Languages Group. University of Technology, Sydney.
- Tim Sheard Oregon Graduate Institute.