DLS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Yann Hamdaoui

Registered user since Tue 9 Feb 2021

Name:Yann Hamdaoui

I graduated with a Ph.D from IRIF (Université Paris Diderot and CNRS, France) on the translation of effectful computation into Linear Logic. I now work at Tweag I/O on the design and implementation of Nickel, a configuration programming language.

Affiliation:Tweag I/O
Personal website:https://hamdaoui.me
Research interests:Type systems, programming languages design, software development, devops, configuration management


CONFLANG 2021 Co-chair in Organizing Committee within the CONFLANG-track
Typing in Nickel and elsewhere
Session Chair of Experience reports (part of CONFLANG)
DLS 2021 Union and intersection contracts are hard, actually
Show activities from other conferences

Using general profile