-
I just *discovered* that Philip Wadler practices his talks in Comedy Clubs. This video predates his talk at Strangeloop and Lambda Days. https://www.youtube.com/watch?v=GnpcMCW0RUA …
#lambdacalculus#comedypic.twitter.com/8T9eRvK3Iu -
Current status. Thanks
@ReSharper.#lambdacalculus pic.twitter.com/T543OZIgaW
-
I've started reading the
@haskellbook. I think I may have just learned why "applications" are called "applications".#lambdacalculus -
The lambda calculus: A historical and practical tour. ~ R.B. Elrod. https://codeblock.fedorapeople.org/chapter.pdf
#LambdaCalculus -
People View all
@LambdaCalculus Podcaster, lover of DOS games, movies, vinyls, 8/16-bit computers, photography, amateur software preservationist. Might also be a hacker. Very, very Cuban.

-
Introduction to lambda calculus. ~ G. Smolka. http://www.ps.uni-saarland.de/courses/sem-ws19/lambda-intro.pdf …
#LambdaCalculus -
-
New blog post! Part 2 of my adventures in
@idrislang: correctness by construction,#gadt, more#lambdacalculus, and all that good stuff! http://www.tomharding.me/2018/01/27/dependable-types-2/ … -
-
Yes no yes yes no yes with
@thewizardlucas#armadajs#lambdacalculus pic.twitter.com/ZdA35squrz
Show this thread -
20+ Berlin
@Meetup#haskell'ers doing@haskellbook#lambdaCalculus λ at@wire (at@Wire HQ) https://www.swarmapp.com/c/dNTYPb0MjHZ pic.twitter.com/FkABb211AH
-
really love this: http://worrydream.com/AlligatorEggs/ - want to teach your kids or yourselfe untyped
#lambdacalculus? go for alligator eggs -
Blog:
@srodrigoDev on Lambda Calculus for mortal developers: http://bit.ly/2m8dCNU#FunctionalProgramming#LambdaCalculus -
A short and fun introduction to Computability Theory by Philip Wadler https://youtu.be/GnpcMCW0RUA
#logic#computing#LambdaCalculus#AlanTuring -
PyCon 2019 |
#LambdaCalculus from the Ground Up#Pythonhttps://liwaiwai.com/2019/07/05/pycon-2019-lambda-calculus-from-the-ground-up/ … -
was struggling with the notation of the
#lambdacalculus but this paper helps understanding http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf … (via@lancewalton) -
Introduction to the Lambda Calculus, slides from recent presentation I gave to my colleagues
#lambdacalculus http://www.slideshare.net/jackfoxy/introduction-to-the-lambda-calculus … -
"An optimal function evaluator written in JavaScript" https://github.com/SrVictorMaia/optlam …
#javascript#lambdacalculus -
Compiling to lambda-calculus: Turtles all the way down. ~ Matt Might (
@mattmight). http://matt.might.net/articles/compiling-up-to-lambda-calculus/ …#FunctionalProgramming#LambdaCalculus
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.