Not registered as user yet

Name: Koen Claessen

Affiliation: Chalmers University of Technology

ESOP 2015 Activities

• Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track in ESOP 2015
• Show activities from other conferences