Aaron Stump
Название: Verified Functional Programming in Agda
Автор: Aaron Stump
Серия: ACM Books
Жанр: Программы