Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 41



11
TITLE: Manifest Deadlock-Freedom for Shared Session Types
AUTHORS: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLISHED: 2019, SOURCE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXED IN: Scopus WOS DBLP CrossRef: 25
IN MY: ORCID | DBLP
12
TITLE: Polymorphic Session Processes as Morphisms
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, VOLUME: 11760
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
13
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: 3
IN MY: ORCID | DBLP
14
TITLE: Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) PDF
AUTHORS: Luís Caires ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1908.00441
INDEXED IN: DBLP arXiv
IN MY: DBLP
15
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: 41
IN MY: DBLP
16
TITLE: A Universal Session Type for Untyped Asynchronous Communication  Full Text
AUTHORS: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2018, SOURCE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
17
TITLE: Depending on Session-Typed Processes
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10803
INDEXED IN: DBLP
IN MY: DBLP
18
TITLE: Depending on Session-Typed Processes PDF
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, VOLUME: 10803
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 7
IN MY: ORCID | DBLP
19
TITLE: Interconnectability of Session-Based Logical Processes  Full Text
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: 5
IN MY: ORCID | DBLP
20
TITLE: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXED IN: DBLP
IN MY: DBLP
Page 2 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