Registered user since Tue 16 Jun 2020
Name:Michael Schröder
Country:Austria
Affiliation:TU Wien
Personal website:https://mcschroeder.github.io
Twitter:https://twitter.com/schrototo
Research interests:Programming Languages, Software Engineering, Human-Computer Interaction
Contributions
| TyDe 2022 | Toward Grammar Inference via Refinement Types (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile