Slides and example code from a training presentation on Scalaz 7
Statistics for this project are still being loaded, please check back later.
Slides and code samples for talk at Scala Lift-Off London 2011.
Slides and examples for a presentation on the State datatype provided by Scalaz 7
Principled Functional Programming in Scala
The workspace for ScalaUA 2019 presentation, "Thinking Functionally"
Presentation about frontend development with Scala.js Originally made for students at Imperial Co...
Slides and code samples on meta-programming techniques in Scala.
Slides and code samples for a talk on thinking functionally (and validating web forms).
Workshop on typeclasses in scala
scala embedded probabilistic programing library using delimited continuations (VERY Experimental)
System for indexing clone hero charts
Serialise and deserialise classes using scala.meta
Slides and code from a talk on subtyping and functor variance
Type level lambda calculus in Scala
A Coq-based synthesis of Scala programs which are correct-by-construction
zero cost Apply/Applicative syntax