![Vadim Zaliva](https://icfp18.sigplan.org/getProfileImage/vadimzaliva/09861d9f-c5eb-4722-92d8-72f25e9ae94f/small.jpg?1711588822000)
Registered user since Tue 19 Jan 2016
Name:Vadim Zaliva
Country:United States
Affiliation:Carnegie Mellon University, USA
Personal website: http://www.crocodile.org/
Research interests:Formal Methods, Functional Programming, Type Theory, Machine Learning
Contributions
ICFP 2018-profile
View general profile
View general profile