Latest Videos
IO monad & Error management From Exceptions to Cats MTL – Guillaume Bogard
Typelevel
2.6K views·6 years ago
You Didn't Know It, but You Really Want to Learn Sequent Calculus – Adam Rosien
Typelevel
3.2K views·6 years ago
Keynote Some Mistakes We Made When Designing Implicits – Martin Odersky
Typelevel
4.1K views·6 years ago
Formal verification of Scala programs with Stainless – Romain Ruetschi
Typelevel
1.1K views·6 years ago
Brave New World, tales of PureScript and Haskell in production – Felix Mulder
Typelevel
2.2K views·6 years ago
Keynote Higher Inductive Types in Homotopy Type Theory – Kristina Sojakova
Typelevel
1.4K views·7 years ago





























