An implementation of differentiation as a built-in function for a lambda-calculus graph-reduction machine (programming)

Access the content here.