On Tech, Science and Learning
Publication in the Journal of Functional Programming, with my co-authors Sam Lindley, Conor McBride, and Craig McLaughlin