ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
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
Research interests:Type systems, programming languages design, software development, devops, configuration management

Contributions

ECOOP 2022 Union and intersection contracts are hard, actually
Show activities from other conferences

Using general profile