Joined April 2013
·

Jared Roesch

Santa Barbara, California
·
·
·

Computer Scientist, Programmer, and CCS student.

LinkedIn Blog Bitbucket StackOverflow

Existential Type Encoding in Scala

Jared Roesch
·
0 responses · scala, types, existentials, type-theory
Achievements
132 Karma
874 Total ProTip Views