Ioan Luca

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