ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Michael Schröder

Registered user since Tue 16 Jun 2020

Name:Michael Schröder
Country:Austria
Affiliation:TU Wien
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