Skip to Content

Blog

27th Jan 12 Type-level selection sort in shapeless
27th Jan 12 shapeless at the Northeast Scala Symposium
19th Dec 11 shapeless — an exploration of generic programming in Scala
16th Jul 11 Functional Dependencies in Scala
09th Jun 11 Unboxed union types in Scala via the Curry-Howard isomorphism