A Language for Differentiable Functions.

Pietro Di Gianantonio, Abbas Edalat

Browse the full FOSSACS paper archive.