HOT Lab
We design and develop theoretical and practical aspects of advanced Higher-Order and Typed programming language technology. Examples include type-based analyses and domain-specific languages.
More info about the group TBA
People
This content is temporarily unavailable because the system it is fetched from cannot be reached. The rest of the site works as usual.
Status is available on the operating status page.
Contact
Name and contact information of principal investigator with link to research profile.