Conference talks

OptimusPrimeT
Everybody knows monads by now, so a talk about monads would hardly be worthwhile. Let's take it to the next level: monad transformers. You'll learn what they are, how they naturally emerge in your code base and how to make good use of them in Scala – and maybe even how to create your own.

Programmation en Logique
Prolog is one of the most underrated programming languages around; possibly because of its strange syntax and the unusual paradigm. But it is a very nice special-purpose programming language. In this talk, I introduce Prolog’s programming model, showcase some programming domains in which Prolog allows for very concise, elegant programs, and finally describe how it can also be used as a general-purpose tool.

Numeric Programming with Spire
Numeric programming is a notoriously difficult topic. For number crunching, e.g. solving systems of linear equations, we need raw performance. However, using floating-point numbers may lead to inaccurate results. On top of that, as functional programmers, we’d really like to abstract over concrete number types, which is where abstract algebra comes into play. This interplay between abstract and concrete, and the fact that everything needs to run on finite hardware, is what makes good library support necessary for writing fast & correct programs. Spire is such a library in the Typelevel Scala ecosystem. This talk is an introduction to Spire, showcasing the ‘number tower’, real-ish numbers and how to obey the law.

Older Talks

2016

How to test proper{t,l}y

flatMap(Oslo)


Translating Scala Programs to Isabelle/HOL

International Joint Conference on Automated Reasoning

Slides Link

2015

Functional Mocking

Lambda Days


Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Formal Methods

Slides Link

When Types are Not Enough

Scala World


What Haskell can learn from Scala

Haskell eXchange


2014

Macros vs Types

Northeast Scala Symposium


Typelevel Scala: What does it mean for the language, the ecosystem, the community, and you?

Scala.IO

Recording Link

The Next 1100 Haskell Programmers

Haskell Symposium

Recording Slides Link

State of the Typelevel

Scala eXchange (Keynote)


2013

Seven at one blow

Northeast Scala Symposium


Generating Type Class Instances Automatically

Scala Workshop

Slides Link