Aaron Stump

Aaron Stump’s Followers

None yet.

Aaron Stump

Combine Editions
Aaron Stump’s books

Average rating: 3.8 · 5 ratings · 1 review · 4 distinct works

	Verified Functional Programming in Agda 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 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) 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 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, click here.

Is this you? Let us know. If not, help out and invite Aaron to Goodreads.