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