Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 46



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
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
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
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
NO MEU: ORCID | DBLP
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 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
6
TÍTULO: Derivations with Holes for Concept-Based Program Synthesis
AUTORES: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLICAÇÃO: 2022, FONTE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
7
TÍTULO: Ferrite: A Judgmental Embedding of Session Types in Rust
AUTORES: Ruofei Chen; Stephanie Balzer; Bernardo Toninho ;
PUBLICAÇÃO: 2022, FONTE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
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
NO MEU: 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: 5
NO MEU: ORCID | DBLP
10
TÍTULO: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. A Tale of Two (Fully Abstract) Encodings  Full Text
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: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 5. Total de resultados: 46.

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