Combining fixpoint and differentiation theory.

Zeinab Galal, Jean-Simon Pacaud Lemay

Browse the full LICS paper archive.