Parcourir l'index des titres "Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation"
Voici les éléments 1-1 de 1
-
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 ...