{"repository":{"watchers":0,"owner":"phillipm","has_issues":true,"pushed_at":"2013-01-16T13:21:28-08:00","description":"Modeling a CPS translation from STLC to System F in Coq using Locally Nameless","stargazers":0,"forks":0,"has_downloads":true,"fork":false,"size":160,"created_at":"2013-01-16T13:10:30-08:00","open_issues":0,"has_wiki":true,"private":false},"actor_attributes":{"location":"Boston, MA","name":"Phillip Mates","blog":"http://www.ccs.neu.edu/home/mates/","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709","type":"User"},"url":"https://github.com/phillipm/cps-from-stlc-to-sysf"}