Speaker Deck

Talks by Lars Hupel

Thumb_slide_0

Sätze für lau

Apr 29, 2017 by Lars Hupel

Thumb_slide_0

Functional Programming with Cats

Feb 17, 2017 by Lars Hupel

Thumb_slide_0

How to test proper{l,t}y

Sep 27, 2016 by Lars Hupel

Thumb_slide_0

Translating Scala Programs to Isabelle/HOL

Jun 30, 2016 by Lars Hupel

Thumb_slide_0

Numeric Programming with Spire

Jun 25, 2016 by Lars Hupel

Thumb_slide_0

How to test proper{l,t}y

May 2, 2016 by Lars Hupel

Thumb_slide_0

What Haskell can learn from Scala

Oct 9, 2015 by Lars Hupel

Thumb_slide_0

When Types are Not Enough

Sep 22, 2015 by Lars Hupel

Thumb_slide_0

Translating Scala programs to Isabelle with Leon

Sep 8, 2015 by Lars Hupel

Thumb_slide_0

Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Jun 25, 2015 by Lars Hupel

Thumb_slide_0

Functional Mocking (OsloSFP edition)

Jun 23, 2015 by Lars Hupel

Thumb_slide_0

OptimusPrimeT (cats edition)

Apr 27, 2015 by Lars Hupel

Thumb_slide_0

Free Functors & Monads

Mar 16, 2015 by Lars Hupel

Thumb_slide_0

Functional Mocking

Feb 26, 2015 by Lars Hupel

Thumb_slide_0

State of the Typelevel

Dec 8, 2014 by Lars Hupel

Speaker Details

A1216674d5c9747bcdcc716872439137?s=47

Lars Hupel