Université de Montréal / Faculté des arts et des sciences Département d'informatique et de recherche opérationnelle

Je donne

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

Pour une recherche détaillée
Visiter Papyrus

Date Trier par date en ordre croissant	Titre Trier par titre en ordre croissant	Auteur Trier par auteur en ordre croissant	Directeur par contributeur en ordre croissant
2025	Vérification automatisée de programmes impératifs dans un langage à typage dépendant	Bernard, Maxim	Monnier, Stefan
2026	L'inférence de type, étape par étape	Allix-Lastrego, Luchino	Monnier, Stefan
2023	Amélioration des messages d'erreurs Typer par algorithme génétique	Fall, Ismaïla	Monnier, Stefan
2024	Quotient Types in Typer	Tan, James Juan Whei	Monnier, Stefan
2011	Simulateur compilé d’une description multi-langage des systèmes hétérogènes	Dubois, Mathieu	Monnier, Stefan; Aboulhamid, El Mostapha
2009	A Type-Preserving Compiler from System F to Typed Assembly Language	Guillemette, Louis-Julien	Monnier, Stefan; Feeley, Marc
2015	Abitbol : un langage sur mesure pour la métaprogrammation	Archambault-Bouffard, Vincent	Monnier, Stefan; Feeley, Marc
2009	Inférence statique et par contraintes des relations de composition dans des programmes Java	Habti, Norddin	Monnier, Stefan; Guéhéneuc, Yann-Gaël
2012	A Compiler for the dependently typed language Beluga	Ferreira Ruiz, Francisco	Monnier, Stefan; Pientka, Brigitte
1990	Minimisation d'entropie pour un système de grande taille	Bousquet, Michel	Nguyen, Sang

Nombre de résultats : 1662