Sorry about this, we are in read only mode. You can browse the site as normal but you won't be able to sign in or make changes.
Register as a speaker. It’s free!
Looking for a speaker for your next event? Look no further.
engineer at SoundCloud
42: Rise of the dependent types
There's a Prolog in your Scala
42.type: Literal-based Singleton Types i...
There's a Prolog in your Scala!
7th-8th April 2017
Follow @lanyrd on Twitter.
Lanyrd on Facebook
+ Cookies · Email us