devlibrary
Authors
/ Simon Thompson
Type Theory & Functional Programming
by
Simon Thompson
Category theory
Type theory
Functional programming
Read