News
2 talks, one about Lithium and the other about Stainless · Eventil
eventil.com
In this session we are going to have two talks, here are the description: Stainless by Romain Ruetschi Given the fundamental difficulty of writing ...
Lausanne Summit - Typelevel.scala
typelevel.org
Romain Ruetschi. Everyone knows that writing bug-free code is fundamentally difficult, and that bugs will sometimes sneak in even in the ...
sorted by relevance / date