Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 45



1
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
NO MEU: DBLP
2
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
3
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
4
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
5
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
6
TÍTULO: A Decade of Dependent Session Types
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2021, FONTE: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
7
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
8
TÍTULO: Featherweight Go
AUTORES: Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.11710
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: Featherweight Go
AUTORES: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: OOPSLA
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
10
TÍTULO: Domain-Aware Session Types PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019 in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXADO EM: Scopus DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 5. Total de resultados: 45.

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

Links Úteis

Ajuda

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