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 11:01

Challenge: write a `Hello world' program in Lambda Calculus.

Newer Posts