"Fixing Incremental Computation - Derivatives of Fixpoints, and the ..."

Mario Alvarez-Picallo et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics