Registered user since Wed 22 Aug 2018
Name: Christoph Rauch
Affiliation: FAU Erlangen-Nürnberg, Lehrstuhl 8
Contributions
| HOPE 2018 | Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile