Lars Hupel

INNOQ

Lars is a consultant with INNOQ in Munich, Germany. They are known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment. A frequent conference speaker, they are active in the open source community, particularly in Scala. They also enjoy programming in and talking about Haskell, TypeScript, Prolog, and Rust. Previously, they were a PhD student at TU München in the field of logic and verification. Their research focus was on techniques for verified code generation from theorem provers.

Lars Hupel

Saturday, February 13, 2021

Typelevel's Road to Scala 3

Happiness

Scala 3 All levels

Lars Hupel

Organizing an event?