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.

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


ECOOP 2022 Author of Union and intersection contracts are hard, actually within the Hub Talks-track
CONFLANG 2021 Co-chair in Organizing Committee within the CONFLANG-track
Author of Typing in Nickel and elsewhere within the CONFLANG-track
Session Chair of Experience reports (part of CONFLANG)
DLS 2021 Author of Union and Intersection Contracts Are Hard, Actually within the DLS 2021-track
SPLASH 2021 Organizing Committee of CONFLANG within the Workshops-track