2 papers
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…