Buy books written by Aaron Stump Available at Bookswagon
Aaron Stump

Aaron StumpAaron Stump is a professor of Computer Science at The University of Iowa. His research interests are in Computational Logic and Programming Languages, especially Type Theory. He received a Bachelor's degree in Computer Science and Philosophy from Corell University in 1997, and a PhD in Computer Science from Stanford University in 2002. Read More Read Less

13 results found
List viewGrid view
Sort By:
1.
Verified Functional Programming in Agda
No Review Yet
AED333
Binding:
Hardback
Release:
29 Feb 2016
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Disability Theology and Eschatology
No Review Yet
AED492
Binding:
Hardback
Release:
15 Mar 2025
Language:
English
International Edition
Ships within 12-14 Days Explain..
3.
Verified Functional Programming in Agda
No Review Yet
AED274
Binding:
Paperback
Release:
29 Feb 2016
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Programming Language Foundations
No Review Yet
AED353
Binding:
Paperback
Release:
26 Nov 2013
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Disability Theology and Eschatology
No Review Yet
AED357
Binding:
Digital (delivered electronically)
Release:
15 Mar 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Disability Theology and Eschatology
No Review Yet
AED357
Binding:
Digital (delivered electronically)
Release:
15 Mar 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Programming Language Foundations Wiley E-Text Reg Card
No Review Yet
AED60
Binding:
Paperback
Release:
26 Jun 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Disability Theology and Eschatology
Publisher: Lexington Books
No Review Yet
AED144
Binding:
Digital (delivered electronically)
Release:
17 Mar 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Verified Functional Programming in Agda
Publisher: ACM Books
No Review Yet
AED240
Binding:
Digital (delivered electronically)
Release:
01 Feb 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Verified Functional Programming in Agda
Publisher: ACM Books
No Review Yet
AED240
Binding:
Digital (delivered electronically)
Release:
01 Feb 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Programming Language Foundations
Publisher: Wiley
No Review Yet
AED182
Binding:
Digital (delivered electronically)
Release:
27 Sep 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Programming Language Foundations, Wiley E-Text
Publisher: John Wiley & Sons
No Review Yet
AED11
Binding:
Digital (delivered electronically)
Release:
03 Oct 2013
Out of Stock
Notify me when this book is in stockNotify Me
13.
Programming Language Foundations
No Review Yet
AED182
Binding:
Digital (delivered electronically)
Release:
01 Oct 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found