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

2025

PEPM

  • Author of A Type Safe Calculus for Generating Syntax-Directed Editors within the PEPM 2025-track

2024

ARRAY

  • Author of Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus within the ARRAY 2024-track

2023

PAINT

  • Author of The Implementation of A Type-Safe Structure Editor within the PAINT-track

2021

FTfJP

  • Author of Behavioural Separation with Parallel Usages within the FTfJP-track

PEPM

  • Author of A Type-Safe Structure Editor Calculus within the PEPM 2021-track

2020

APLAS

  • Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track

2019

AGERE

  • Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track

BEHAPI

  • Author of A Behavioural Type System for Mungo with Generics within the BEHAPI-track

BEAT

  • Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track

OPCT

  • Author of Processes as Names? within the OPCT 2019-track
Share
xTue 8 Jul 16:10
using conf.researchr.org (v1.69.1)
Support page
Sign Up