Personal Information
Organization / Workplace
Berlin Area, Germany Germany
Occupation
Engineer at SoundCloud
Industry
Technology / Software / Internet
Website
About
I state and prove theorems in constructive logic every day. I also speak λ calculus (yes, that is a Y combinator on my hand).
Contact Details
Tags
scala
type-level
scalaz
dependent types
compiler
shapeless
prolog
functional programming
See more
Users being followed by George Leontiev