| Pretraživanje | Osvježi |
|
Jay Bazuzi
@jaybazuzi
|
12. ruj 2015. |
|
|
||
|
||
|
🇯🇵_ジャック
@Iceland_jack
|
7. lis |
|
|
||
|
||
|
awalterschulze
@awalterschulze
|
2. lis |
|
I just *discovered* that Philip Wadler practices his talks in Comedy Clubs. This video predates his talk at Strangeloop and Lambda Days.
youtube.com/watch?v=GnpcMC…
#lambdacalculus #comedy pic.twitter.com/8T9eRvK3Iu
|
||
|
||
|
Garrett Hart
@thirdshift
|
23. tra 2016. |
|
I've started reading the @haskellbook. I think I may have just learned why "applications" are called "applications". #lambdacalculus
|
||
|
|
||
|
Jack Fox
@foxyjackfox
|
2. velj 2017. |
|
Something good arrived. #lambdacalculus pic.twitter.com/5rNDSIgwGD
|
||
|
||
|
00felipe.ignacio00
@0felipeignaci0
|
14. pro 2018. |
|
#lambdacalculus day. we are back pic.twitter.com/SdhkeMUhwv
|
||
|
||
|
José A. Alonso
@Jose_A_Alonso
|
14. pro |
|
Introduction to lambda calculus. ~ G. Smolka. ps.uni-saarland.de/courses/sem-ws… #LambdaCalculus
|
||
|
|
||
|
|
José A. Alonso
@Jose_A_Alonso
|
4. pro |
|
The lambda calculus: A historical and practical tour. ~ R.B. Elrod. codeblock.fedorapeople.org/chapter.pdf #LambdaCalculus
|
||
|
|
||
|
liwaiwai
@liwaiwaicom
|
5. srp |
|
|
||
|
|
||
|
Bernd Jürgen Schadei
@BeeJay71
|
17. kol 2016. |
|
20+ Berlin @Meetup #haskell'ers doing @haskellbook #lambdaCalculus λ at @wire (at @Wire HQ) swarmapp.com/c/dNTYPb0MjHZ pic.twitter.com/FkABb211AH
|
||
|
||
|
Tom
@am_i_tom
|
27. sij 2018. |
|
New blog post! Part 2 of my adventures in @idrislang: correctness by construction, #gadt, more #lambdacalculus, and all that good stuff! tomharding.me/2018/01/27/dep…
|
||
|
|
||
|
Carsten König
@CarstenK_Dev
|
12. ožu 2013. |
|
really love this: worrydream.com/AlligatorEggs/ - want to teach your kids or yourselfe untyped #lambdacalculus? go for alligator eggs
|
||
|
|
||
|
Wendi Urribarri
@wen_ur
|
5. svi 2015. |
|
A short and fun introduction to Computability Theory by Philip Wadler youtu.be/GnpcMCW0RUA #logic #computing #LambdaCalculus #AlanTuring
|
||
|
|
||
|
Codurance
@codurance
|
9. stu 2017. |
|
Blog: @srodrigoDev on Lambda Calculus for mortal developers: bit.ly/2m8dCNU #FunctionalProgramming #LambdaCalculus
|
||
|
|
||
|
Kir JS @ NYC
@kirjs
|
20. ruj |
|
|
||
|
||
|
Hackdoor.io
@hackdoor_io
|
12. ruj |
|
#LambdaCalculus in #JavaScript? Is that even possible? 😱
#JavaScript #ComputerScience #Nodejs #Mathematics
jsmonday.dev/articles/19/la…
|
||
|
|
||
|
«ℰλ Ġυĩℓℓ(ε|ι)»
@gbayon
|
14. kol |
|
"#Lisp is not based on the #LambdaCalculus" by @danielszmu
danielsz.github.io/blog/2019-08-0… pic.twitter.com/BuS2AyWBn0
|
||
|
||
|
Functional Ruby
@FunctionalRuby
|
19. ožu 2012. |
|
Update – Lambda Calculus Made Easy functionalruby.com/blog/2012/03/1… (with a big hat-tip to @tomstuart) #ruby #functionalprogramming #lambdacalculus
|
||
|
|
||
|
|
Jack Fox
@foxyjackfox
|
20. sij 2017. |
|
Introduction to the Lambda Calculus, slides from recent presentation I gave to my colleagues #lambdacalculus slideshare.net/jackfoxy/intro…
|
||
|
|
||
|
Mattia
@MattiaOch
|
7. ožu 2015. |
|
|
||
|
|
||
