Registered user since Thu 13 Dec 2018
Name:Hans Hüttel
Bio:
Cand.scient, AUC, 1988. PhD, Edinburgh, 1991. Associate Professor since 1995.
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
| PEPM 2021 | A Type-Safe Structure Editor Calculus | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile