conf.researchr.org / Hans Hüttel
Hans Hüttel

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

FTfJP 2021 Author of Behavioural Separation with Parallel Usages within the FTfJP-track
PEPM 2021 Author of A Type-Safe Structure Editor Calculus within the PEPM 2021-track
APLAS 2020 Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track
AGERE 2019 Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track
BEHAPI 2019 Author of A Behavioural Type System for Mungo with Generics within the BEHAPI-track
BEAT 2019 Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track
OPCT 2019 Author of Processes as Names? within the OPCT 2019-track