Computer Scientist, Programmer, and CCS student.
Joined April 2013
·
Existential Type Encoding in Scala
Jared Roesch
·
0 responses
·
scala, types, existentials, type-theory
Achievements
132 Karma
847 Total ProTip Views
Mongoose 3
Have at least three original repos where Ruby is the dominant language
Altruist
Increase developer well-being by sharing at least 20 open source projects
Platypus 3
Have at least three original repo where scala is the dominant language
Platypus
Have at least one original repo where scala is the dominant language
Walrus
The walrus is no stranger to variety. Use at least 4 different languages throughout all your repos
Forked
Have a project valued enough to be forked by someone else
Charity
Fork and commit to someone's open source project in need
Mongoose
Have at least one original repo where Ruby is the dominant language
Bear
Have at least one original repo where Objective-C is the dominant language
Kona
Have at least one original repo where CoffeeScript is the dominant language
Narwhal
Have at least one original repo where Clojure is the dominant language
Epidexipteryx
Have at least one original repo where C++ is the dominant language