xAt 9.10 CET, the conf.researchr.org platform will be updated, causing conference websites to be offline for 1 minute. You may need to refresh the page you're viewing to interact with the website again.
Write a Blog >>

Not registered as user yet

Name: Francesco A. Genco

Affiliation: IHPST, Université Paris 1

Contributions

POPL 2020 Par means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs
Show activities from other conferences

POPL 2020-profile
View general profile