Books by Aaron Stump

Aaron Stump
Average rating 3.80 · 5 ratings · 1 reviews · shelved 76 times

Showing 4 distinct works.

	Verified Functional Programming in Agda by Aaron Stump 3.80 avg rating — 5 ratings — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Programming Language Foundations by Aaron Stump 0.00 avg rating — 0 ratings — published 2013 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Verified Functional Programming in Agda (ACM Books) by Aaron Stump 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Programming Language Foundations Wiley E-Text Reg Card by Aaron Stump 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.