Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 43



1
TITLE: Lazy Linearity for a Core Functional Language
AUTHORS: Mesqui, Rodrigo; Toninho, Bernardo ;
PUBLISHED: 2026, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 10, ISSUE: POPL
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: Welterweight Go: Boxing, Structural Subtyping, and Generics
AUTHORS: Hu, Raymond; Lange, Julien; Toninho, Bernardo ; Wadler, Philip; Griesemer, Robert; Randall, Keith;
PUBLISHED: 2026, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 10, ISSUE: POPL
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Fusing Session-Typed Concurrent Programming into Functional Programming
AUTHORS: Sano, Chuta; Garg, Deepak; Kavanagh, Ryan; Pientka, Brigitte; Toninho, Bernardo ;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, ISSUE: ICFP
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: The Session Abstract Machine
AUTHORS: Caires, Luis; Toninho, Bernardo ;
PUBLISHED: 2024, SOURCE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
INDEXED IN: Scopus WOS DBLP CrossRef: 3
5
TITLE: Intuitionistic Metric Temporal Logic
AUTHORS: de Sa, Luiz ; Toninho, Bernardo ; Pfenning, Frank ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Principles and Practice of Declarative Programming (PPDP) As part of the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications - Software for Humanity (SPLASH) in PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
6
TITLE: Derivations with Holes for Concept-Based Program Synthesis
AUTHORS: João Costa Seco; Jonathan Aldrich; Luís Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLISHED: 2022, SOURCE: Onward!
INDEXED IN: Scopus DBLP CrossRef: 1
7
TITLE: Ferrite: A Judgmental Embedding of Session Types in Rust
AUTHORS: Ruofei Chen; Stephanie Balzer; Bernardo Toninho ;
PUBLISHED: 2022, SOURCE: ECOOP, VOLUME: 222
INDEXED IN: Scopus DBLP
8
TITLE: Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
AUTHORS: Ruofei Chen; Stephanie Balzer; Bernardo Toninho ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP
9
TITLE: A Decade of Dependent Session Types
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXED IN: Scopus WOS DBLP CrossRef: 7
10
TITLE: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. A Tale of Two (Fully Abstract) Encodings
AUTHORS: Toninho, B ; Yoshida, N ;
PUBLISHED: 2021, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 43, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 6
Page 1 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service