ETAPS 2019 (series) / Hans Hüttel
Registered user since Thu 13 Dec 2018
Name:Hans Hüttel
Country:Denmark
Affiliation:Department of Computer Science, Aalborg University
Personal website:http://people.cs.aau.dk/~hans
Research interests:Programming language theory, type systems
Contributions
| BEHAPI 2019 | A Behavioural Type System for Mungo with Generics | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile