talks 2016-05-04: Refinement Types in Scala with refined at the Typelevel Summit Oslo 2016-04-14: Refinement Types in Scala mit refined beim M-net Developer Day