A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.

The Unlicense

77 stars 11 forks source link

Open gregr opened 6 years ago

gregr commented 6 years ago