Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
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, USA
Research interests:Programming Language Design, Type Systems, Effect Typing

Contributions

ICFP 2020 Effect Handlers, Evidently
Haskell 2020 Effect Handlers in Haskell, Evidently
HOPE 2020 Committee Member in Program Committee within the HOPE 2020-track
ML 2020 Committee Member in Program Committee within the ML 2020-track
Show activities from other conferences

ICFP 2020-profile
View general profile