Stories tagged as scala – Scala programming
  1. 2
    CoSMeDis: Distributed Social Media with Formally-Verified Confidentiality ☶ pdf distributed formalmethods scala ieee-security.org
    nickpsecurity avatar via nickpsecurity 35 hours ago | cached | no comments
  2. 2
    Concurrent Data Representation Synthesis (2012) ☶ pdf formalmethods scala cse.iitd.ernet.in
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  3. 2
    Exploring Tagless Final pattern for extensive and readable Scala code (2017) scala blog.scalac.io
    danielepolencic avatar via danielepolencic 1 month ago | cached | no comments
  4. 4
    Scala Programming - A Skeptic's Journey scala skedulo.com
    calvin avatar via calvin 1 month ago | cached | no comments
  5. 14
    Functional Programming for Mortals ☶ book scala leanpub.com
    pushcx avatar via pushcx 2 months ago | cached | 2 comments
  6. 1
    Futures in Scala 2.12 (part 2): Missing canonical combinators: zipWith scala viktorklang.com
    neonpython avatar via neonpython 3 months ago | cached | no comments
  7. 5
    Imitating Scala Futures with Go channels (in Go and Clojure) clojure go programming scala tindaloscode.blogspot.com
    Yogthos avatar via Yogthos 3 months ago | cached | 4 comments
  8. 2
    Futures in Scala 2.12 (part 1): Missing canonical combinators: flatten scala viktorklang.com
    neonpython avatar via neonpython 3 months ago | cached | no comments
  9. 14
    "Scala 3 as a new Programming Language" – departure of yet another Scala contributor haskell scala medium.com
    soc avatar via soc 3 months ago | cached | 17 comments
  10. 5
    Your Server as a Function (2013) ☶ pdf distributed plt scala monkey.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  11. 5
    Rolling Your Own Monad To Deal With Nested Monads In Scala scala geekabyte.io
    pek avatar via pek 4 months ago | cached | no comments
  12. 16
    The Last Hope for Scala's Infinity War video scala youtube.com
    soc avatar via soc 4 months ago | cached | 5 comments
  13. 22
    Introducing Accessible Scala scala scala-lang.org
    colindean avatar via colindean 5 months ago | cached | 1 comment
  14. 10
    Comparing Languages for Engineering Server Software: Erlang, Go, and Scala with Akka pdf erlang go scala dcs.gla.ac.uk
    joaolucasl avatar via joaolucasl 5 months ago | cached | 2 comments
  15. 2
    Thoughts On Working With Nested Monad Within The Future Monad In Scala scala geekabyte.io
    pek avatar via pek 6 months ago | cached | no comments
  16. 8
    Bifunctor IO: A Step Away from Dynamically-Typed Error Handling haskell scala degoes.net
    jdegoes avatar authored by jdegoes 6 months ago | cached | 1 comment
  17. 7
    EvilPlot — A combinator based plotting library for Scala math scala visualization medium.com
    tel avatar via tel 6 months ago | cached | 1 comment
  18. 26
    Towards Scala 3 scala scala-lang.org
    mjn avatar via mjn 7 months ago | cached | 2 comments
  19. 4
    Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017) ☶ compilers plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  20. 4
    Scala Native 0.3.7 released release scala github.com
    steveno avatar via steveno 7 months ago | cached | no comments
  21. 3
    Unifying Analytic and Statically-Typed Quasiquotes ☶ pdf plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  22. 2
    Helper code to mimic Clojure fns in Scala clojure scala elangocheran.com
    Yogthos avatar via Yogthos 8 months ago | cached | no comments
  23. 1
    LMS-Verify: Abstraction without Regret for Verified Systems Programming (2017) ☶ pdf c formalmethods plt scala security lampwww.epfl.ch
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  24. 2
    Squid: Type-Safe, Hygienic, and Reusable Quasiquotes (2017) ☶ pdf plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  25. 3
    Beginning Functional Programming compsci programming scala grokacademy.com
    vasinov avatar authored by vasinov 8 months ago | cached | no comments
Page 2 >>