Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 43



11
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: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
12
TITLE: Domain-Aware Session Types PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CONCUR, VOLUME: 140
INDEXED IN: Scopus DBLP arXiv
IN MY: DBLP
13
TITLE: Manifest Deadlock-Freedom for Shared Session Types
AUTHORS: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLISHED: 2019, SOURCE: PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: DBLP
14
TITLE: Polymorphic Session Processes as Morphisms
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: The Art of Modelling Computational Systems, VOLUME: 11760 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: DBLP
15
TITLE: Refinement Kinds Type-Safe Programming with Practical Type-Level Computation
AUTHORS: Caires, L ; Toninho, B ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 3, ISSUE: OOPSLA
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
16
TITLE: A Static Verification Framework for Message Passing in Go using Behavioural Types
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
INDEXED IN: Scopus WOS DBLP CrossRef: 55
IN MY: DBLP
17
TITLE: A Universal Session Type for Untyped Asynchronous Communication
AUTHORS: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2018, SOURCE: CONCUR, VOLUME: 118
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
18
TITLE: Depending on Session-Typed Processes
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: FoSSaCS
INDEXED IN: DBLP
IN MY: DBLP
19
TITLE: Depending on Session-Typed Processes
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, VOLUME: 10803
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: DBLP
20
TITLE: Interconnectability of Session-Based Logical Processes
AUTHORS: Toninho, B ; Yoshida, N ;
PUBLISHED: 2018, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 40, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP
Page 2 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

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