Michael Hanus

Registered user since Thu 15 Dec 2016

Name:Michael Hanus
Affiliation:Kiel University
Research interests:Programming Languages, Functional Programming, Logic Programming


PADL 2023 Session Chair of Invited Talk (part of PADL 2023)
Co-chair in Program Committee within the PADL 2023-track
Co-chair in Programme Chairs within the PADL 2023-track
Show activities from other conferences

POPL 2023-profile
View general profile