Michael Hanus -

Registered user since Thu 15 Dec 2016

Name:Michael Hanus

Country:Germany

Affiliation:Kiel University

Personal website:https://www.informatik.uni-kiel.de/~mh/

GitHub:https://github.com/mihanus

Research interests:Programming Languages, Functional Programming, Logic Programming

Contributions

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
FLOPS 2022	Session Chair of Session 1: Opening & Invited Talk (part of FLOPS 2022) Committee Member in Programme Chairs within the FLOPS 2022-track Program Co-Chair in Organizing Committee Session Chair of Session 8: Invited Talk (part of FLOPS 2022) Co-chair in Program Committee within the FLOPS 2022-track
PADL 2021	Author of Lightweight Declarative Server-Side Web Programming within the PADL 2021-track
PADL 2019	Author of Improving Residuation in Declarative Programs within the PADL 2019-track
HIW 2018	Committee Member in Program Committee within the HIW 2018-track
PADL 2017	Author of Improving Non-deterministic Computations in Functional Logic Programs within the PADL-track
PADL	Author of Default Rules for Curry within the PADL-track