Posts tagged "quickcheck"

Proving Commutativity of Polysemy Interpreters October 21, 2021
Proving Equivalence of Polysemy Interpreters October 16, 2021
Testing Polysemy With polysemy-check October 9, 2021

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