Automatic Differentiation via Effects and Handlers: An Implementation in Frank. - Jesse Sigal (CoRR, 2021)

Conceptual Mathematics via Literate Programming. - Ian Benson; Jim Darby; Neil MacDonald; Jesse Sigal (CoRR, 2022)

Duoidally Enriched Freyd Categories. - Chris Heunen; Jesse Sigal (RAMiCS, 2023)