ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Todd Waugh Ambridge

Registered user since Wed 13 Mar 2019

Name:Todd Waugh Ambridge
Country:United Kingdom
Affiliation:University of Birmingham
Research interests:Programming Languages, Foundational Aspects of Machine Learning

Contributions

PERR 2019 Local Reasoning for Robust Observational Equivalence
Show activities from other conferences

ETAPS 2019-profile
View general profile