jship
jship
Jason Shipman
I am a software engineer interested in purely functional programming
and static types.
Subvert Your Type Checker Today!
October 13, 2018
Type-level Unit Testing in Haskell
March 21, 2018
Monad Transformer Commutativity
August 27, 2017