Registered user since Mon 19 Dec 2022
Name:Lutz Schröder
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