Discover users based on their interests
types are pretty errrrrrr uhhhh satisfactory
Recent Grad | Inerested in Type Theory and Fuctional Programming
Scheme48 -> MzScheme -> Racket
I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.
Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her