conf.researchr.org / Mark Lemay

Registered user since Mon 17 Sep 2018

Name: Mark Lemay

Contributions

TyDe 2020Author of Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) within the TyDe 2020-track
PLATEAU 2018Author of Understanding Java Usability by Mining GitHub Repositories within the PLATEAU 2018-track
SPLASH 2018Author of Understanding Java Usability by Mining GitHub Repositories within the Posters-track