Home > Uncategorized > A theory of changes for higher-order languages — incrementalizing ?-calculi by static differentiation

A theory of changes for higher-order languages — incrementalizing ?-calculi by static differentiation

February 4th, 2015 02:00 Leave a comment Go to comments