Search results
  1. 2 Oct 2019

    I just *discovered* that Philip Wadler practices his talks in Comedy Clubs. This video predates his talk at Strangeloop and Lambda Days.

  2. 12 Sep 2015
  3. 23 Apr 2016

    I've started reading the . I think I may have just learned why "applications" are called "applications".

  4. 4 Dec 2019

    The lambda calculus: A historical and practical tour. ~ R.B. Elrod.

  5. People View all

  6. 14 Dec 2019
  7. Show this thread
  8. 27 Jan 2018

    New blog post! Part 2 of my adventures in : correctness by construction, , more , and all that good stuff!

  9. 2 Feb 2017
  10. 20 Sep 2019
    Show this thread
  11. 12 Mar 2013

    really love this: - want to teach your kids or yourselfe untyped ? go for alligator eggs

  12. 9 Nov 2017

    Blog: on Lambda Calculus for mortal developers:

  13. 5 May 2015

    A short and fun introduction to Computability Theory by Philip Wadler

  14. 5 Jul 2019
  15. was struggling with the notation of the but this paper helps understanding (via )

  16. 20 Jan 2017

    Introduction to the Lambda Calculus, slides from recent presentation I gave to my colleagues

  17. 2 Aug 2015

    "An optimal function evaluator written in JavaScript"

  18. 16 Sep 2018

    Compiling to lambda-calculus: Turtles all the way down. ~ Matt Might ().

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.