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 décroissant	Titre Trier par titre en ordre décroissant	Auteur Trier par auteur en ordre décroissant	Directeur par contributeur en ordre décroissant
2004	Compound terms for information retrieval	Lu, Cuihua	Nie, Jian-Yun
1990	Minimisation d'entropie pour un système de grande taille	Bousquet, Michel	Nguyen, Sang
2012	A Compiler for the dependently typed language Beluga	Ferreira Ruiz, Francisco	Monnier, Stefan; Pientka, Brigitte
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
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
2011	Simulateur compilé d’une description multi-langage des systèmes hétérogènes	Dubois, Mathieu	Monnier, Stefan; Aboulhamid, El Mostapha
2023	Amélioration des messages d'erreurs Typer par algorithme génétique	Fall, Ismaïla	Monnier, Stefan
2021	Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation	Barszcz, Jean-Alexandre	Monnier, Stefan
2024	Quotient Types in Typer	Tan, James Juan Whei	Monnier, Stefan

Nombre de résultats : 1620