1La chaleur
1Répondre
"Objets de calcul" dans les langages de type dépendants
6La chaleur
1Répondre
Ensembles de niveaux de type dans Haskell/Agda
2La chaleur
3Répondre
Curriculum avec des types dépendants dans agda
20La chaleur
2Répondre
Différence entre les paramètres de type et les indices?
3La chaleur
1Répondre
Récursion structurelle sur un paramètre dépendant
36La chaleur
2Répondre