Entries
19 May 2009
The ` character to the rescue
I have presented, during the Journées Francophones des Langages Applicatifs 2008, an article entitled Le caractère ` à la rescousse - Factorisation et réutilisation de code grâce aux variants polymorphes ("The ` character to the rescue - Code factorization and reuse using polymorphic variants", but the article is only available in french for the moment). It provides a hopefully gentle introduction to polymorphic variants, a feature of the typing system of OCaml.
Here is the source code of the examples: introduction, section 2, section 3 and section 4.
The abstract and the BibTeX entry can be found on my publications page.
Three different presentations of this work are available (all three are in french)
- 2008-21-01, Gallium seminar
- 2008-28-01, JFLA
- 2009-05-19, CEA