Robert Bruce Findler - ESOP 2015

Tue 14 - Thu 16 April 2015 London, United Kingdom

Registered user since Thu 3 Apr 2014

Name:Robert Bruce Findler

Country:United States

Affiliation:Northwestern University

Personal website: http://www.eecs.northwestern.edu/~robby/

Research interests:PL

Contributions

2015

ESOP

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

Show activities from other conferences

ESOP 2015-profile
View general profile