Publications

Papers

The Limitations of Type Classes as Subtyped Implicits, ACM SCALA 2017. [Slides]

Talks

Simplicity in composition, Scala World 2017. [Slides]

All About Applicative, BayHac 2017. [Repo] [Video]

Let the Scala compiler work for you, Typelevel Summit 2017. [Slides] [Video]

Functional Geekery Episode 86, March 2017.

Spoiler by higher-kinded types, Scalae by the Bay 2016. [Slides] [Video]

Checked complexity with typed simplicits, NEScala 2016. [Slides] [Video]

Becoming a cat(s) person, Typelevel Summit 2016. [Video]

Why I Like Functional Programming, LambdaConf 2015. [Slides] [Video]

Reasoning with Types, Scala by the Bay 2014. [Slides] [Video]

Distributed Graph Processing with Scala and Akka, Silicon Valley Scala Symposium 2013. [Slides] [Video]

External blog posts

EDSLs as functions, October 2016.

Subtype type classes don’t work, September 2016.

It’s programs all the way down, September 2016.

Information hiding, enforced, March 2016.

Of variance and functors, February 2016.

How do I error handle thee?, February 2014.

Towards Scalaz (Part 2), December 2013.

Towards Scalaz (Part 1), October 2013.

Distributed (in-memory) graph processing with Akka, August 2012.