Rezultati pretraživanja
  1. 16. pro 2019.

    Want to learn about LSM Trees, Tagless-Final and more? Come checkout my talk at . Get a discount on registration using "FriendsWithSV2006". More info:

  2. 21. pro 2019.
    Odgovor korisnicima

    I'll be in Krakow for too, would love to meet folks, let me know if you manage to organize something. 🤞

  3. 16. sij

    programme is up now and we're among proud Partners of this year edition 🤩 See you 13-14 February in Krakow 💪 ➡

  4. 17. pro 2019.

    BEEP BOOP BAP is this thing on? In February and I will be back in Kraków to talk about at the wonderful conference, hope to see you there! Use code "FriendsWithEH2013" for a 20% discount.

  5. 30. sij

    Thank you for chairing 's programme committee and also collocating the event with 2020 ! This is a big step for our conference and community

  6. 23. sij

    Meet - one of the world’s leading international banks, technology leader, functional community supporter, 2019 Gold sponsor & our 2020 Platinum Sponsor. Having you with us again is a proud moment, we won't let you down!

  7. prije 17 sati

    At 2020 delivers 2 workshops - "An Ounce of Elixir" (Ladies only) & "Fun with Elixir, Automata, and Zombies". Want to learn more about his work? See Rob, we're excited to have you with us again!

  8. prije 19 sati

    Next up in line-up is Seyed Hossein Haeri with a presentation on "A Family of λ-Calculi with Ports" See him live on stage in February

  9. 31. sij

    In his talk Philipp Kant argues that it is possible to fuse good practices from formal methods and software engineering. Register to and join the debate

  10. 29. sij

    See Péter Bereczky presenting his team's research as part of at . Learn all about "A Proof Assistant Based Formalisation of Core "

  11. 27. sij

    At 2020 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 and

  12. 23. sij

    Excited to see , Viktor Kunčak , Maciej Piróg & many others at ! Plan your experience to see the best talks on & other inspiring technologies. Register by Feb 2 for best prices!

  13. 23. sij

    At 2020 Evan Sitt presents his take on "Implementation of Digital Synthesis in Functional Programming". Join us to learn all about his team's work

  14. 18. pro 2019.

    Have you seen all the updates to speaker line-up? More & more & talks make their way to . Excited to see what comes next? Register here:

  15. 17. pro 2019.

    🚀 Krystian Rybarczyk will join ✨ on February 13-14 2020! 🎤 Krystian will share with us the topic: Introduction to Kotlin's coroutines and reactive streams. Join as a at upcoming ✨

  16. 21. stu 2019.

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