70 | | * Julien Tesson, [ftp://ftp.univ-orleans.fr/theses/julien.tesson_2187.pdf Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels]. PhD Thesis, LIFO, University of Orléans, November 2011 |
71 | | * Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011 |
| 70 | * Julien Tesson, [ftp://ftp.univ-orleans.fr/theses/julien.tesson_2187.pdf Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels]. PhD Thesis, LIFO, University of Orléans, November 2011 |
| 71 | * Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011 |