• Sign in
  • Sign up
conf.researchr.org / Hans Hüttel
  • APLAS 2020 profile
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • SPLASH 2019 profile
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

Share
xSun 26 Mar 07:21
using conf.researchr.org (v1.59.1)
Support page
Sign Up