José A. Alonso@Jose_A_Alonso
The lambda calculus: A historical and practical tour. ~ R.B. Elrod. #LambdaCalculus
01349
#lambdaCalculus içeren gönderiler
#lambdaCalculus
X'te #lambdaCalculus kullanan herkese açık gönderiler.
İlgili etiketler
Luis Lamb@luislambA Neural Lambda Calculus Bridging the gap between neurosymbolic AI and the foundations of computing through Neural Lambda Calculus. #NeurosymbolicAI #LambdaCalculus #DeepNeuralNetworks #ComputationalModels #goatai #goatstack via @GoatstackAI015358
Functional SC@functional_sc100 years ago Moses Schönfinkel laid the foundations of Functional Programming with the introduction of combinators: functions that combine other functions, allowing complex expressions to be built from simpler ones. #lambdacalculus #programming #haskell
017361.6K- José A. Alonso@Jose_A_AlonsoLearn Lambda Calculus in 10 minutes with OCaml. ~ Dmitrii Kovanikov (@ChShersh). #LambdaCalculus #OCaml #FunctionalProgramming03351.6K
- José A. Alonso@Jose_A_AlonsoLambda calculus and typing. ~ Noam Zeilberger. #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory11241.1K
- José A. Alonso@Jose_A_AlonsoAbout functional programming (A fun way to reason). ~ Mary Paskhaver. #FunctionalProgramming #LambdaCalculus04231.2K
Papers We Love (@[email protected])@papers_we_loveNo-Brainer CPS Conversion (Functional Pearl) - Davis, et al. Link: #lambdacalculus #syntax #cps #compiler0110- José A. Alonso@Jose_A_Alonso"Whatever the next 700 languages turn out to be, they will surely be variants of lambda calculus." ~ Peter Landin, 1966. #Quote #Programming #LambdaCalculus2926
Functional Programming India 🇮🇳《ミ》λ≡@FunctionalIndiaYou forgot to do alpha conversion bro #lambdacalculus
112393
Wendi@wen_urA short and fun introduction to Computability Theory by Philip Wadler #logic #computing #LambdaCalculus #AlanTuring0428- José A. Alonso@Jose_A_AlonsoHow to implement the lambda calculus, quickly. ~ Stephanie Weirich. #Haskell #FunctionalProgramming #LambdaCalculus0524
- José A. Alonso@Jose_A_AlonsoReification, Curry-Howard correspondence, and didactical consequences. ~ Reinhard Oldenburg. #CurryHoward #FunctionalProgramming #LambdaCalculus004351
From now on, every time I see a tx builder that is not straight CBOR I will tweet about Get Gud n00b. #CBOR #ILikePain #GetGud #n00b Michele | Harmonic @MicheleHarmonicFrom now on, every time I see a tx builder that is not buildooor I will tweet about buildooor I will do the same with unembedded plu-ts once it is usable Did you know that buildooor always sets the lowest valid fee for you? With or without contracts31241.3K
From now on, every time I see a tx builder that is not buildooor I will tweet about buildooor I will do the same with unembedded plu-ts once it is usable Did you know that buildooor always sets the lowest valid fee for you? With or without contracts73388.3K- @adamKDeanFully cracked devs don't need an abstraction library to calculate the lowest fees for them, cause they can do #LambdaCalculus.002327
- José A. Alonso@Jose_A_AlonsoIntroduction to lambda calculus. ~ John Lång. #LambdaCalculus #FunctionalProgramming237
Xebia@Xebia_GlobalTo continue the "Lambda Calculus Through Javascript" series, in part 2, @trupill adds conditionals and Church numerals to bring us closer to a more realistic programming language. #javascript #lambdacalculus #functionalprogramming0916- José A. Alonso@Jose_A_AlonsoProgramming with Math | The Lambda Calculus. ~ Eyesomorphic. #LambdaCalculus0110841
- Daha fazla gönderi göster
