Deltas for Functional Programs with Algebraic Data Types

Published in SPLC, 2023

Recommended citation: Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2023). SPLC. Accepted for Publication, ACM.