Registered user since Sat 29 Apr 2017
Name:Michael Ballantyne
Affiliation:University of Utah, USA
Research interests:Program Synthesis, Syntactic Abstraction
Contributions
ICFP 2017-profile
View general profile
View general profile
Registered user since Sat 29 Apr 2017
Contributions