Blogs

Where I write about functional programming, my research, and whatever else happens to be on my mind.

The Chiral Product architecture

An algebraic approach to mutation in linearly typed systems.

Handling Weak Monads Using Folds functionconstruction

Linear and affine typing breaks do blocks, this is how we fix can them.