Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 45



21
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
22
TITLE: Certifying data in multiparty session types
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | DBLP | CIÊNCIAVITAE
23
TITLE: Fencing off Go: Liveness and Safety for Channel-Based Programming
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 52, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
24
TITLE: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings PDF
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in CoRR, VOLUME: abs/1711.00878
INDEXED IN: Scopus DBLP arXiv CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Report on POPL 2017
AUTHORS: Bernardo Toninho ;
PUBLISHED: 2017, SOURCE: ACM SIGLOG News, VOLUME: 4, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
26
TITLE: Certifying Data in Multiparty Session Types
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, VOLUME: 9600
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) PDF
AUTHORS: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1610.08843
INDEXED IN: Scopus DBLP arXiv CrossRef: 25
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 74
IN MY: ORCID | DBLP | CIÊNCIAVITAE
29
30
TITLE: Combining behavioural types with security analysis PDF
AUTHORS: Massimo Bartoletti; Ilaria Castellani; Pierre Malo Deniélou; Mariangiola Dezani Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A Pérez; Peter Thiemann; Bernardo Toninho ; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.02229
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 3 of 5. Total results: 45.

A place for researchers and their institutions

Useful Links

Get Help

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