Lars is a PhD student in Munich, Germany, working in the area of theorem proving. He has been using Scala for quite a while now, and is known as one of the founders of the typelevel initiative which is dedicated to providing principled, type-driven Scala libraries. He also talks about Haskell and Isabelle a lot.
Talks I've Given
What Haskell can learn from Scala
Featuring Lars Hupel and Miles Sabin
The opinions about Scala in the Haskell community differ widely. Most will immediately point out reasons why they think Scala is complex and that Haskell is so much better. But is it really? In this talk, we will take a radically different approach: We will outline what Haskell can learn from...haskell scala functional-programming
State of the Typelevel
Featuring Lars Hupel
The typelevel project is nearing its second anniversary -- a great time to look at what it is actually about. Starting out as a community of Scala projects aiming for principled library design, we have been continuously growing by adding more projects and most recently, forking the Scala compiler...scala functional-programming types
@larsr_h has not provided any work info yet.
Social and Blogging
@larsr_h has not provided social links yet.