Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 43



1
TÍTULO: Lazy Linearity for a Core Functional Language
AUTORES: Mesqui, Rodrigo; Toninho, Bernardo ;
PUBLICAÇÃO: 2026, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 10, NÚMERO: POPL
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: Welterweight Go: Boxing, Structural Subtyping, and Generics
AUTORES: Hu, Raymond; Lange, Julien; Toninho, Bernardo ; Wadler, Philip; Griesemer, Robert; Randall, Keith;
PUBLICAÇÃO: 2026, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 10, NÚMERO: POPL
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Fusing Session-Typed Concurrent Programming into Functional Programming
AUTORES: Sano, Chuta; Garg, Deepak; Kavanagh, Ryan; Pientka, Brigitte; Toninho, Bernardo ;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: ICFP
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: The Session Abstract Machine
AUTORES: Caires, Luis; Toninho, Bernardo ;
PUBLICAÇÃO: 2024, FONTE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
5
TÍTULO: Intuitionistic Metric Temporal Logic
AUTORES: de Sa, Luiz ; Toninho, Bernardo ; Pfenning, Frank ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
6
TÍTULO: Derivations with Holes for Concept-Based Program Synthesis
AUTORES: João Costa Seco; Jonathan Aldrich; Luís Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLICAÇÃO: 2022, FONTE: Onward!
INDEXADO EM: Scopus DBLP CrossRef: 1
7
TÍTULO: Ferrite: A Judgmental Embedding of Session Types in Rust
AUTORES: Ruofei Chen; Stephanie Balzer; Bernardo Toninho ;
PUBLICAÇÃO: 2022, FONTE: ECOOP, VOLUME: 222
INDEXADO EM: Scopus DBLP
8
TÍTULO: Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
AUTORES: Ruofei Chen; Stephanie Balzer; Bernardo Toninho ;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP
9
TÍTULO: A Decade of Dependent Session Types
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
10
TÍTULO: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. A Tale of Two (Fully Abstract) Encodings
AUTORES: Toninho, B ; Yoshida, N ;
PUBLICAÇÃO: 2021, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 43, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
Página 1 de 5. Total de resultados: 43.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service