![Michael Ballantyne](https://icfp17.sigplan.org/getProfileImage/michaelballantyne/0fb0042c-454e-437b-938c-bd6fb195d0cb/small.jpg?1711489838000)
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