Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 41



1
TITLE: Intuitionistic Metric Temporal Logic
AUTHORS: Luiz De Sá ; Bernardo Toninho ; Frank Pfenning ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023 in International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
2
TITLE: Derivations with Holes for Concept-Based Program Synthesis
AUTHORS: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Ferrite: A Judgmental Embedding of Session Types in Rust
AUTHORS: Ruofei Chen; Stephanie Balzer; Bernardo Toninho ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
4
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
IN MY: DBLP
5
TITLE: A Decade of Dependent Session Types
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2021, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
6
TITLE: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. A Tale of Two (Fully Abstract) Encodings  Full Text
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: 3
IN MY: ORCID | DBLP
7
TITLE: Featherweight Go
AUTHORS: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: OOPSLA
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
8
TITLE: Featherweight Go
AUTHORS: Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.11710
INDEXED IN: DBLP
IN MY: DBLP
9
TITLE: Domain-Aware Session Types PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID | DBLP
10
TITLE: Domain-Aware Session Types (Extended Version) PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.01318
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 1 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

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