ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Marco Carbone

Registered user since Sat 13 Jan 2024

Name:Marco Carbone
Country:Denmark
Affiliation:IT University of Copenhagen
Research interests:Concurrency, Session Types, Mechanisation

Contributions

Show activities from other conferences

Using general profile