SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
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 at Microsoft Research, and interested in the design and application of strong type systems, declarative programming, and compiler technology. In particular, I work on the Koka language (and mimalloc) where I explore programming with algebraic effect handlers, effect typing, Perceus precise reference counting, and pure functional programming with high performance.

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

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile