7La chaleur
2Répondre
Une question sur la logique et la correspondance de Curry-Howard
140La chaleur
2Répondre
Différences entre Agda et Idris
17La chaleur
2Répondre
Y at-il des signatures de type que Haskell ne peut pas vérifier?
25La chaleur
3Répondre
Théorie des types: types de types
1La chaleur
1Répondre
Type algèbre système - utilisation de la dérivation
2La chaleur
1Répondre
13La chaleur
2Répondre
Livres pour la théorie des systèmes de type début
9La chaleur
3Répondre
Comment sécuriser ces fonctions typées dynamiquement?
10La chaleur
2Répondre