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

2019

ML

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