‹Programming› 2020 (series) / Damien Morard
Registered user since Sat 22 Feb 2020
Name: Damien Morard
Country: Switzerland
Affiliation: University of Geneva, Centre Universitaire d’Informatique, Geneva, Switzerland
Personal website: http://morard.me/
Research interests: Semantics, modeling and verification
Contributions
| ‹Programming› 2020 | Author of A Formalism to Model Higher-order Functions within the Student Research Competition-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
‹Programming› 2020-profile
View general profile
View general profile