Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Incrementalizing λ-calculi by static differentiation

Name: Anonymous 2015-02-20 7:42

Is this for real? This is almost like a ``Fundamental Theorem of λ-calculus.''

http://lambda-the-ultimate.org/node/5115

Name: Anonymous 2015-02-21 7:14

>>9
It has been read and appreciated, but no one has yet come up with a worthy response.

Newer Posts