The top documents of george-leontiev
There's a Prolog in your Scala!
306 views
42.type: Literal-based Singleton types
119 views
Slides
170 views
42: Rise of the dependent types
90 views
Presentation
161 views