PhD student in Munich
programmer, speaker, enthusiast
Functional programming and data structures for Scala
Library project for Scala, providing type classes, instances, conversions, supplements to the standard library and more.
Computing the fixpoint of Datalog queries with linear constraints using an algorithm by Revesz