Presentations by Lars Hupel // Speaker Deck

A Verified Compiler from Isabelle/HOL to CakeML

Feb 19, 2018 by Lars Hupel

Sätze für lau

Apr 29, 2017 by Lars Hupel

Functional Programming with Cats

Feb 17, 2017 by Lars Hupel

How to test proper{l,t}y

Sep 27, 2016 by Lars Hupel

Translating Scala Programs to Isabelle/HOL

Jun 30, 2016 by Lars Hupel

Numeric Programming with Spire

Jun 25, 2016 by Lars Hupel

How to test proper{l,t}y

May 2, 2016 by Lars Hupel

What Haskell can learn from Scala

Oct 9, 2015 by Lars Hupel

When Types are Not Enough

Sep 22, 2015 by Lars Hupel

Translating Scala programs to Isabelle with Leon

Sep 8, 2015 by Lars Hupel

Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Jun 25, 2015 by Lars Hupel

Functional Mocking (OsloSFP edition)

Jun 23, 2015 by Lars Hupel

OptimusPrimeT (cats edition)

Apr 27, 2015 by Lars Hupel

Free Functors & Monads

Mar 16, 2015 by Lars Hupel

Functional Mocking

Feb 26, 2015 by Lars Hupel

Speaker Deck

Talks by Lars Hupel

A Verified Compiler from Isabelle/HOL to CakeML

Sätze für lau

Functional Programming with Cats

How to test proper{l,t}y

Translating Scala Programs to Isabelle/HOL

Numeric Programming with Spire

How to test proper{l,t}y

What Haskell can learn from Scala

When Types are Not Enough

Translating Scala programs to Isabelle with Leon

Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Functional Mocking (OsloSFP edition)

OptimusPrimeT (cats edition)

Free Functors & Monads

Functional Mocking

Speaker Details

Lars Hupel