Prezentacja autora Aaron Stump:

Dotychczas wydane książki Aaron Stump:

Zweryfikowano programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
Morgan & Claypool
Agda to zaawansowany język programowania oparty na teorii...
Zweryfikowano programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
Zweryfikowane programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
Morgan & Claypool
Agda to zaawansowany język programowania oparty na teorii...
Zweryfikowane programowanie funkcjonalne w Agda - Verified Functional Programming in Agda
<<
1
>>