Rezultati pretraživanja
  1. 12. ruj 2015.
  2. 2. lis 2019.

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

  3. 23. tra 2016.

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

  4. 2. velj 2017.
  5. Prikaži ovu nit
  6. 14. pro 2019.
  7. 4. pro 2019.

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

  8. 5. srp 2019.
  9. 17. kol 2016.
  10. 27. sij 2018.

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

  11. 12. ožu 2013.

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

  12. 5. svi 2015.

    A short and fun introduction to Computability Theory by Philip Wadler

  13. 9. stu 2017.

    Blog: on Lambda Calculus for mortal developers:

  14. 20. ruj 2019.
    Prikaži ovu nit
  15. 12. ruj 2019.
  16. 19. ožu 2012.
  17. 20. sij 2017.

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

  18. 7. ožu 2015.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.