
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