Typelevel Scala and the future of the Scala ecosystem (2014)

A Tale on Semirings

Concurrency Basics

There are more types than classes

Subtype type classes don't work

Higher-kinded types: the difference between giving up, and moving forward

Typelevel boycotts LambdaConf over politics

Higher Leibniz

Typelevel Scala and the future of the Scala ecosystem