Concepedia

Francisco Ferreira

FF

Statistics

Publications

5

Citations

132

H-Index

5

Active since

2014

Affiliations

Imperial College London(Current)

McGill University

Francisco Ferreira is an author at Imperial College London specializing in computer science, computing, and formal methods.

Publications per year

2014–2021

5

Publications

5

Fair reactive programming

Andrew Cave, Francisco Ferreira, Prakash Panangaden et al. · 2014 · 38 citations

Computing, Computer Science, Programming Languages +15

Statically verified refinements for multiparty protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu et al. · Proceedings of the ACM on Programming Languages · 2020 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +17

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes

David Castro, Francisco Ferreira, Lorenzo Gheri et al. · 2021 · 24 citations · Full text

Computing, Computer Science, Computer Systems +17

Communication-safe web programming in TypeScript with routed multiparty session types

Anson Miu, Francisco Ferreira, Nobuko Yoshida et al. · 2021 · 19 citations

Computing, Communication, Computer Science +11

Bidirectional Elaboration of Dependently Typed Programs

Francisco Ferreira, Brigitte Pientka · 2014 · 13 citations

Computing, Computer Science, Formal Methods +12

1–5 of 5