Rezultati pretraživanja
  1. 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.

    4 proslijeđena tweeta 11 korisnika označava da im se sviđa
  2. 12. ruj 2015.

    Current status. Thanks .

    1 reply 12 proslijeđenih tweetova 7 korisnika označava da im se sviđa
  3. 7. lis 2019.

    The is Algebraic

    31 proslijeđeni tweet 109 korisnika označava da im se sviđa
  4. 23. tra 2016.

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

    6 proslijeđenih tweetova 6 korisnika označava da im se sviđa
  5. 4. pro 2019.

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

    1 reply 16 proslijeđenih tweetova 68 korisnika označava da im se sviđa
  6. 14. pro 2018.

    day. we are back

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  7. 2. velj 2017.

    Something good arrived.

    7 korisnika označava da im se sviđa
  8. 14. pro 2019.

    Introduction to lambda calculus. ~ G. Smolka.

    6 proslijeđenih tweetova 15 korisnika označava da im se sviđa
  9. 27. sij 2018.

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

    7 proslijeđenih tweetova 43 korisnika označavaju da im se sviđa
  10. 5. svi 2015.

    A short and fun introduction to Computability Theory by Philip Wadler

    9 proslijeđenih tweetova 36 korisnika označava da im se sviđa
  11. 12. ožu 2013.

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

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
  12. 20. ruj 2019.

    Yes no yes yes no yes with

    1 reply 2 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  13. 17. kol 2016.

    20+ Berlin 'ers doing λ at (at HQ)

    1 reply 1 proslijeđeni tweet 8 korisnika označava da im se sviđa
  14. 9. stu 2017.

    Blog: on Lambda Calculus for mortal developers:

    14 proslijeđenih tweetova 17 korisnika označava da im se sviđa
  15. 5. srp 2019.

    PyCon 2019 | from the Ground Up

    13 proslijeđenih tweetova 13 korisnika označava da im se sviđa
  16. 2. kol 2015.

    "An optimal function evaluator written in JavaScript"

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
  17. 12. stu 2018.

    The 20th Century was revolutionized on the shoulders of Einstein & Godel. The 21st Century was revolutionized on the shoulders of Whitehead & Russell & Heraclitus. Thesis · AntiThesis · SynThesis

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
  18. 14. kol 2019.

    " is not based on the " by

    1 proslijeđeni tweet
  19. 12. ruj 2019.

    in ? Is that even possible? 😱

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
  20. 20. sij 2017.

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

    4 proslijeđena tweeta 8 korisnika označava da im se sviđa

Nema rezultata.

Č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.