کتاب های Aaron Stump
Verified Functional Programming in Agda
Aaron Stump, 2016
Programming Language Foundations
Aaron Stump, 2013
Programming language foundations
Aaron Stump, 2013
Verified Functional Programming in Agda
Aaron Stump, 2016
