Ioan Luca

Registered user since Mon 10 Sep 2018

Name:Ioan Luca
Country:Romania
Affiliation:University of Strathclyde

Contributions

ML 2019 Author of An Idris Foreign Function Interface to OCaml within the ML 2019-track