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 | An Idris Foreign Function Interface to OCaml | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2019-profile
View general profile
View general profile