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