Posts tagged "announcement"

Certainty by Construction: Done! October 30, 2023
Algebra-Driven Design September 10, 2020
Thinking with Types November 14, 2018
Gauging Interest in a Type-Level Programming Book July 8, 2018
Static Analysis of Free Monads July 7, 2018

REASONABLY
POLYMORPHIC

Hi there. I'm Sandy Maguire. I like improving life and making cool things.

If you want to get in touch, I'd love to hear from you! Send me an email; you can contact me via sandy at sandymaguire.me.

SITE LINKS

THINGS I MAKE

Code on github
Book archive
My other blog

WHAT I'M DOING

Erdos Project
Music at last.fm
Books at goodreads
Papers at mendeley

© 2015-2025 Sandy Maguire

REASONABLY POLYMORPHIC