Introduction to dependent types with idris: encoding program proofs in types
Auteur :
Sitnikovski, Boro
Éditeur :
APress
ISBN :
9781484292587
Date de publication :
18 mars 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA