Compiling contextual objects: bringing higher-order abstract syntax to programmers. - Francisco Ferreira 001; Stefan Monnier; Brigitte Pientka (PLPV, 2013)

Fair reactive programming. - Andrew Cave; Francisco Ferreira 001; Prakash Panangaden; Brigitte Pientka (POPL, 2014)

Bidirectional Elaboration of Dependently Typed Programs. - Francisco Ferreira 001; Brigitte Pientka (PPDP, 2014)

Programs Using Syntax with First-Class Binders. - Francisco Ferreira 001; Brigitte Pientka (ESOP, 2017)

Proofs and Programs about Open Terms. - Francisco Ferreira Ruiz (CoRR, 2018)

A Type Theory for Defining Logics and Proofs. - Brigitte Pientka; David Thibodeau 001; Andreas Abel 001; Francisco Ferreira 001; Rébecca Zucchini (LICS, 2019)

Cocon: Computation in Contextual Type Theory. - Brigitte Pientka; Andreas Abel 001; Francisco Ferreira 001; David Thibodeau 001; Rébecca Zucchini (CoRR, 2019)

EMTST: Engineering the Meta-theory of Session Types. - David Castro-Perez; Francisco Ferreira 001; Nobuko Yoshida (TACAS (2), 2020)

Generating Interactive WebSocket Applications in TypeScript. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (PLACES@ETAPS, 2020)

Statically verified refinements for multiparty protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Communication-safe web programming in TypeScript with routed multiparty session types. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (CC, 2021)

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. - Nobuko Yoshida; Fangyi Zhou 002; Francisco Ferreira 001 (FCT, 2021)

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (PLDI, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (CoRR, 2021)

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. - Adam D. Barwell; Francisco Ferreira 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2022)

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). - Sung-Shik Jongmans; Francisco Ferreira 001 (ECOOP, 2023)

Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. - Francisco Ferreira 001; Sung-Shik Jongmans (ISSTA, 2023)

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). - Sung-Shik Jongmans; Francisco Ferreira 001 (Dagstuhl Artifacts Ser., 2023)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)