Jules Hedges
My blog has moved
The cursed families fibration
Monadic lenses are the optic for right monad modules III
Monadic lenses are the optic for right monad modules II
Monadic lenses are the optic for right monad modules I
Geometry of interaction is the optic for copointed functors
Making Haskell lenses less pointless
PhD position at the University of Strathclyde, Glasgow
Selection functions and lenses
Free publishing