$79.95

Verified Functional Programming in Agda
[9781970001242]

Verified Functional Programming in Agda

Add to Cart

Date Added:

by Ulf Norell, Chalmers University of Technology, Sweden

Verified Functional Programming in Agda is an excellent introduction to the field of dependently typ..

Rating: 5 of 5 Stars! [5 of 5 Stars!]

Result Pages:  1 

Displaying 1 to 1 (of 1 reviews)


Write Review Back
Browse by Subject
Case Studies in Engineering
ACM Books
IOP Concise Physics


0 items
LATEST NEWS

Newsletter
Note: Registered customers go to: Your Account to subscribe.

E-Mail Address:

Your Name: