Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Subject "dependent types"
Now showing items 1-2 of 2
-
A Compiler for the dependently typed language Beluga
(2012-10-11)Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ... -
Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
(2021-10-21)La modularité est un enjeu important en programmation, surtout quand on l’enrichit avec des preuves, comme dans les langages avec des types dépendants. Typer est un tel langage, et afin d’augmenter sa modularité et de lui ajouter un moyen de faire la ...