Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

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
2017-03 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2021-05 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2022-12 Gestion manuelle et sécuritaire de la mémoire en Typer
2022-04 Développement d’un serveur LSP pour Typer
2011-06 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2009-10 A Type-Preserving Compiler from System F to Typed Assembly Language
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2012-05 A Compiler for the dependently typed language Beluga
2003 A domain-specific search engine for the construction sector
Nombre de résultats : 1178