SAS 2022
Mon 5 - Wed 7 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
SPLASH 2022 (series) / SAS 2022 (series) / Jan Bessai
Jan Bessai

Registered user since Mon 14 Jun 2021

Name:Jan Bessai
Country:Germany
Affiliation:Independent
Personal website: https://noprotocol.net/jan/
GitHub: https://github.com/JanBessai
Research interests:Type Theory, Intersection Types, Synthesis, Programming

Contributions

Show activities from other conferences

SPLASH 2022-profile
View general profile