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-20 8:23

That's a great idea. Surprised to see LtU in /gorp/.

Newer Posts