Registered user since Mon 10 Sep 2018
Name: Ioan Luca
Country: Romania
Affiliation: University of Strathclyde
Personal website: https://github.com/ioanluca/
Contributions
| ML 2019 | Author of An Idris Foreign Function Interface to OCaml within the ML 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile