1. A Safe Type-Indexed Set for Standard ML, Errata
  2. A Safe Type-Indexed Set for Standard ML
  3. Modularity à la ML (slides)
  4. On Determinism and Free Will
  5. Calculating an Object Graph's Size on the JVM
  6. Run a single specs2 example from sbt
  7. Contravariant Functors — An Intuition
  8. Dependencies and Modules in Scala
  9. Explore JVM Libraries in a Quick sbt Session
  10. Scala's flatMap is not Haskell's >>=
  11. Commonly Used List Processing Functions in FP
  12. How Inheritance Violates Encapsulation
  13. Composing Java Interfaces Using Generics


Talks & Presentations

  1. Scalar 2017, Modularity à la ML

  2. Codecamp Iași 2016, A Type Inferencer for ML in 200 Lines of Scala