Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Burke Fetscher
conf.researchr.org general profile
ESOP 2015 profile
SPLASH 2015 profile
Not registered as user yet
Name:
Burke Fetscher
Affiliation:
Northwestern University
Contributions
2015
GPCE
Author of POP-PL: A Patient-Oriented Prescription Programming Language within the GPCE-track
ESOP
Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track
Share
x
Thu 21 Nov 12:45