90 reputation
bio website jcreed.org
location Philadelphia, PA
visits member for 5 years, 7 months
seen Sep 21 '12 at 19:04
Postdoctoral researcher at UPenn. My expertise is mostly substructural and otherwise interestingly nonstandard logics and type systems, and other theoretical programming language research stuff.

This user has not answered any questions

52 Votes Cast

all time   by type  
51 up 14 question
1 down 38 answer