conf.researchr.org / Marko Dimjašević
Registered user since Mon 25 Jan 2016
Name:Marko Dimjašević
Affiliation:N/A
Personal website:https://dimjasevic.net/marko/
Research interests:theorem proving, software correctness, functional programming and type theory
Contributions
| PLDI 2016 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Committee Member in Artifact Evaluation Committee |