A

Aaron Stump

3 books found

Books by Aaron Stump
Verified Functional Programming in AgdaAaron Stump
⏱ 4h 44m

Verified Functional Programming in Agda

Aaron Stump

2016284 pp.
Programming Language FoundationsAaron Stump
⏱ 5h 36m

Programming Language Foundations

Aaron Stump

2013336 pp.
Programming Language Foundations, Wiley E-TextAaron Stump

Programming Language Foundations, Wiley E-Text

Aaron Stump

2013No page data