Jan Bessai

Registered user since Mon 14 Jun 2021

Name:Jan Bessai
Country:Germany
Affiliation:Independent
Research interests:Type Theory, Intersection Types, Synthesis, Programming

Contributions

Show activities from other conferences

Using general profile