GPCE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
SPLASH 2021 (series) / GPCE 2021 (series) / Yann Hamdaoui
Yann Hamdaoui

Registered user since Tue 9 Feb 2021

Name:Yann Hamdaoui
Bio:

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.

Country:France
Affiliation:Tweag
Personal website:https://hamdaoui.me
GitHub:https://github.com/yannham
Research interests:Type systems, programming languages design, software development, devops, configuration management

Contributions

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
SPLASH 2021 CONFLANG
Show activities from other conferences

SPLASH 2021-profile
View general profile