
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