Context-Generic Programming
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
{{ message }}
@informalsystems Lausanne, Switzerland