-
Want to learn about LSM Trees, Tagless-Final and more? Come checkout my talk at
@LambdaDays. Get a discount on registration using "FriendsWithSV2006". More info: https://www.lambdadays.org/lambdadays2020/sandeep-virdi …#LambdaDays#Scala -
I'll be in Krakow for
#LambdaDays too, would love to meet@haskell folks, let me know if you manage to organize something.
-
#LambdaDays programme is up now and we're among proud Partners of this year edition
See you 13-14 February in Krakow
https://www.lambdadays.org/lambdadays2020 -
BEEP BOOP BAP is this thing on? In February
@jonaswinje and I will be back in Kraków to talk about#lambdacalculus at the wonderful#lambdadays conference, hope to see you there! Use code "FriendsWithEH2013" for a 20% discount. https://www.lambdadays.org/lambdadays2020#register … -
Thank you
@rjmh for chairing http://tfp2020.org 's programme committee and also collocating the event with 2020#LambdaDays! https://www.lambdadays.org/lambdadays2020/john-hughes … This is a big step for our conference and community pic.twitter.com/cgzCMk1goc
-
Meet
@StanChart - one of the world’s leading international banks, technology leader, functional community supporter, 2019#LambdaDays Gold sponsor & our 2020 Platinum Sponsor. https://www.sc.com/ Having you with us again is a proud moment, we won't let you down!pic.twitter.com/EXI01wCweo
-
At 2020
#LambdaDays@version2beta delivers 2#Elixirlang workshops - "An Ounce of Elixir" (Ladies only) & "Fun with Elixir, Automata, and Zombies". https://www.lambdadays.org/lambdadays2020#workshops … Want to learn more about his work? See https://www.youtube.com/watch?v=bmFKEewRRQg … Rob, we're excited to have you with us again!pic.twitter.com/0hHyMyEr6g
-
Next up in http://tfp2020.org line-up is Seyed Hossein Haeri with a presentation on "A Family of λ-Calculi with Ports" https://www.lambdadays.org/lambdadays2020/seyed-hossein-haeri … See him live on
#LambdaDays stage in February https://www.lambdadays.org/lambdadays2020/#register …pic.twitter.com/oPJxjgfGaw
-
In his http://tfp2020.org talk Philipp Kant argues that it is possible to fuse good practices from formal methods and
#agile software engineering. Register to#LambdaDays and join the debate https://www.lambdadays.org/lambdadays2020/philipp-kant … https://www.lambdadays.org/lambdadays2020/#register …pic.twitter.com/bkFXX2pIa5
-
See Péter Bereczky presenting his team's research as part of http://tfp2020.org at
#LambdaDays. Learn all about "A Proof Assistant Based Formalisation of Core#Erlang" https://www.lambdadays.org/lambdadays2020/peter-bereczky … https://www.lambdadays.org/lambdadays2020/#register …pic.twitter.com/Ewyv1MITaz
-
At 2020
#LambdaDays Satoru Kawahara presents a direct embedding of one-shot algebraic effects and handlers in a language which has asymmetric coroutines. The embedding is implemented as a library in#Lualang and#Rubylang http://ow.ly/9iXI50y2692 https://www.lambdadays.org/lambdadays2020/#register …pic.twitter.com/UV93v2uwkp
-
Excited to see
@evelgab, Viktor Kunčak@taooftypes,@vonjuliano Maciej Piróg & many others at#LambdaDays! Plan your experience to see the best talks on#Fsharp#Haskell#Elixirlang#Scala & other inspiring technologies. Register by Feb 2 for best prices! https://www.lambdadays.org/lambdadays2020/#register …pic.twitter.com/MyQt69Znx6
-
At 2020
#LambdaDays Evan Sitt presents his take on "Implementation of Digital Synthesis in Functional Programming". https://www.lambdadays.org/lambdadays2020/evan-sitt … Join us to learn all about his team's work https://www.lambdadays.org/lambdadays2020/#register … http://tfp2020.org pic.twitter.com/QBVL9ic4rI
-
Have you seen all the updates to
#LambdaDays speaker line-up? More & more#Fsharp#Scala#Erlang#Ocaml &#Elixirlang talks make their way to http://bit.ly/34axVv7 . Excited to see what comes next? Register here: http://bit.ly/2LOaama#communitypic.twitter.com/Woa3rnuYRf
-
Krystian Rybarczyk will join
#LambdaDays on February 13-14 2020!
Krystian will share with us the topic: Introduction to Kotlin's coroutines and reactive streams. Join #Codete as a#SilverSponsor at upcoming
@LambdaDays https://www.lambdadays.org/lambdadays2020 pic.twitter.com/96I7WR9Dvh
Č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.