Differential Logic Programming.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Browse the full POPL paper archive.