Output details
11 - Computer Science and Informatics
Imperial College London
A Language for Differentiable Functions
<08>Runner-up at ETAPS 2013 for the best paper award of the European Association for Programming Languages and Systems, this article solves the long standing open problem of developing a functional programming language with a derivative operator for Lipschitz maps, the largest class of maps with L- derivative, the domain-theoretic derivative developed in 2000’s. The framework will lead to practical languages that can evaluate the derivative of functions. It also provides, for the first time, a denotational semantics and a verification tool for Algorithmic Differentiation, an active area of research in numerical analysis for more than three decades. Acceptance 25%/108.