vix.ing · top · new · best · stats · spec

Giarrusso, Paolo G.

  1. A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation
    2013/12/02 by Cai, Yufei, Giarrusso, Paolo G., Rendel, Tillmann +1 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)