Fork me on GitHub

About me

PhD student in Munich
programmer, speaker, enthusiast

Talks


Current Projects

Scala

Scala

  • scalaz
    Functional programming and data structures for Scala
  • typelevel
    Library project for Scala, providing type classes, instances, conversions, supplements to the standard library and more.

Finished Projects

Haskell

Haskell

OCaml

OCaml

  • datalog-fixpoint
    Computing the fixpoint of Datalog queries with linear constraints using an algorithm by Revesz