conf.researchr.org / 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

AGERE 2019Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track
BEAT 2019Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track
OPCT 2019Author of Processes as Names? within the OPCT 2019-track
BEHAPI 2019Author of A Behavioural Type System for Mungo with Generics within the BEHAPI-track