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
| BEAT 2019 | Getting Rid of Null-Dereferences – Behavioural Types to the Rescue | ||||||||||||||||||||||||||||||||||||||||
| OPCT 2019 | Processes as Names? | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile