ECOOP 2022 (series) / Jan Bessai

Registered user since Mon 14 Jun 2021
Name:Jan Bessai
Country:Germany
Affiliation:Technical University Dortmund
Personal website: https://ls14-www.cs.tu-dortmund.de/cms/en/staff/wimis/Bessai.html
GitHub: https://github.com/JanBessai
Research interests:Type Theory, Intersection Types, Synthesis, Programming
Contributions
ECOOP 2022-profile
View general profile
View general profile