Sandy Maguire

Sandy Maguire

Sandy Maguire has written at least 3 books. Their most popular book is Thinking with Types. Type-Level Programming in Haskell with 5 saves with an average rating of 4.75⭐.

Thinking with Types. Type-Level Programming in Haskell

5 Readers • 247 pages • 4.8

Algebra-Driven Design

Algebra-Driven Design
BySandy Maguire

5 Readers • 5

Certainty by Construction

1 Reader