Domain Specific Language to perform Automatic Differentiation on Higher Order functions.
This project is done under supervision by Matthijs Vákár for the course “Concepts of Programming Language Design” at Utrecht University.
For this project we implemented a Automatic Differentiation algorithm created by Matthijs Vákár [1], which can perform Automatic Differentiation on Higher-Order Functions.
A few example programs are available in Examples.hs. These can be tested by first building the library (stack build
) and then opening the file in GHCi (stack ghci Examples.hs
).