Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lorenzo Gheri
conf.researchr.org general profile
ECOOP 2022 profile
PLDI 2021 profile
POPL 2019 profile
Registered user since Mon 5 Nov 2018
Name:
Lorenzo Gheri
Country:
United Kingdom
Affiliation:
Imperial College London
Contributions
ECOOP 2022
Author of Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming within the Research Papers-track
PLDI 2021
Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
POPL 2019
Author of Bindings as Bounded Natural Functors within the Research Papers-track
Share
x
Mon 5 Jun 04:55