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 |