Deltas for Functional Programs with Algebraic Data Types

Date:

The slides for this talk are available here.