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
GPCE 2015
Author of POP-PL: A Patient-Oriented Prescription Programming Language within the GPCE-track
ESOP 2015
Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track
Share
x
Mon 30 Jan 14:57