Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / SLE 2020 (series) / Didier Buchs

Registered user since Tue 28 Aug 2018

Name: Didier Buchs

Affiliation: University of Geneva, Centre Universitaire d’Informatique, Geneva, Switzerland

Contributions

LIVE 2020Author of Functional Block Programming and Debugging within the LIVE 2020-track
SLE 2020Author of Featherweight Swift: A Core Calculus for Swift’s Type System within the SLE-track
Show activities from other conferences

Using general profile