• Sign in
  • Sign up
conf.researchr.org / Francisco Ferreira
  • CC 2021 profile
  • ETAPS 2019 profile
  • SPLASH 2020 profile

Registered user since Fri 13 Nov 2020

Name: Francisco Ferreira

Affiliation: Imperial College London

Personal website: https://www.doc.ic.ac.uk/~fferre16/

Contributions

CC 2021 Author of Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types within the CC Research Papers-track
SPLASH 2020 Session Chair of F-3B (part of OOPSLA)
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track
BEHAPI 2019 Author of Adventures in Formalising the Meta-Theory of Session Types within the BEHAPI-track
PLACES 2019 Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track

Share
xTue 2 Mar 15:08
using conf.researchr.org (v1.42.1)
Support page
Sign Up