Registered user since Mon 17 Sep 2018
Name:Sergey Goncharov
Affiliation:Friedrich-Alexander-Universität Erlangen-Nürnberg
Personal website:https://www8.cs.fau.de/sergey
Contributions
| HOPE 2018 | A Metalanguage for Guarded Iteration | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile