Big Books of 2026

Join the Goodreads Author Program

Are you Aaron Stump, author of the books below?
Verified Functional Programming in Agda by Aaron Stump Programming Language Foundations by Aaron Stump Verified Functional Programming in Agda by Aaron Stump Programming Language Foundations Wiley E-Text Reg Card by Aaron Stump


To join the author program as Aaron Stump, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads