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
| Name | Title | Phone |
|---|
Contact
Name and contact information of principal investigator with link to research profile.