ICFP 2021
Sun 22 - Sat 28 August 2021
Daan Leijen

Registered user since Thu 1 Sep 2016

Name:Daan Leijen
Bio:

I am a member of the Research In Software Engineering (RISE) group and chair of the Programming Languages working group (PLX). Currently, I am interested in the design and application of strong type systems and declarative programming languages, like Haskell. In particular, I am interested in programming with Effect inference in the Koka project. Furthermore, I work on domain specific embedded languages, language design, and compiler technology.

Country:United States
Affiliation:Microsoft Research
Research interests:Programming Language Design, Type Systems, Effect Typing

Contributions

ICFP 2021 Programming with Effect Handlers and FBIP in Koka
Generalized Evidence Passing for Effect Handlers
Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
HOPE 2021 First-class Names for Effect Handlers
HIW 2021 Committee Member in Program Committee within the HIW 2021-track
Session Chair of Tools (part of HIW 2021)
Show activities from other conferences

ICFP 2021-profile
View general profile