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.

  1. 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,
  2. 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.

  3. 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.

  4. Jansson. Polytypism and polytypic unification. Master's thesis, Chalmers University of Technology, 1995.

  5. Jansson and J. Jeuring. Polytypic Unification. (abstract) Submitted for publication.

PolyP - a polytypic programming language

Une extension de Gofer/Haskell ici.

Algebra of programming

Parametricité, Theorems for free

Programmation avec polymorphisme de "formes"

Le langage FiSh

Parallélisme avec combinateurs

L'expérience OcamlP3L