Présentation de l'auteur Aaron Stump :

Livres publiés jusqu'à présent par Aaron Stump :

Programmation fonctionnelle vérifiée en Agda - Verified Functional Programming in Agda
Morgan & Claypool
Agda est un langage de programmation avancé basé sur la théorie...
Programmation fonctionnelle vérifiée en Agda - Verified Functional Programming in Agda
Programmation fonctionnelle vérifiée en Agda - Verified Functional Programming in Agda
Morgan & Claypool
Agda est un langage de programmation avancé basé sur la théorie...
Programmation fonctionnelle vérifiée en Agda - Verified Functional Programming in Agda
<<
1
>>