1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2023★ 1 cited
Duoidally enriched Freyd categories
Chris Heunen, Jesse Sigal
Freyd categories provide a semantics for first-order effectful programming languages by capturing the two different orders of evaluation for products. We enrich Freyd categories in…
math.HO2022
Conceptual Mathematics via Literate Programming
Ian Benson, Jim Darby, Neil MacDonald +1
Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathem…
cs.PL2021
Automatic Differentiation via Effects and Handlers: An Implementation in Frank
Jesse Sigal
Automatic differentiation (AD) is an important family of algorithms which enables derivative based optimization. We show that AD can be simply implemented with effects and handlers…