Bernardo Toninho

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Polymorphic Session Processes as Morphisms	2024-03-14	Paper
Manifest deadlock-freedom for shared session types Programming Languages and Systems	2023-11-24	Paper
scientific article; zbMATH DE number 7649947 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
A universal session type for untyped asynchronous communication	2021-08-04	Paper
On polymorphic sessions and functions. A tale of two (fully abstract) encodings (available as arXiv preprint)	2019-09-13	Paper
Depending on session-typed processes (available as arXiv preprint)	2018-07-17	Paper
Fencing off Go: liveness and safety for channel-based programming Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Fencing off Go: liveness and safety for channel-based programming Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Certifying data in multiparty session types Journal of Logical and Algebraic Methods in Programming	2017-07-04	Paper
Certifying data in multiparty session types A List of Successes That Can Change the World	2016-08-17	Paper
Linear logic propositions as session types Mathematical Structures in Computer Science	2016-07-28	Paper
Corecursion and non-divergence in session-typed processes Trustworthy Global Computing	2016-06-09	Paper
Combining behavioural types with security analysis Journal of Logical and Algebraic Methods in Programming	2015-11-10	Paper
Linear logical relations and observational equivalences for session-based concurrency Information and Computation	2014-11-28	Paper
Behavioral polymorphism and parametricity in session-based communication Programming Languages and Systems	2013-08-05	Paper
Higher-order processes, functions, and sessions: a monadic integration Programming Languages and Systems	2013-08-05	Paper
Cut reduction in linear logic as asynchronous session-typed communication	2012-11-22	Paper
Linear logical relations for session-based concurrency Programming Languages and Systems	2012-06-22	Paper
Functions as session-typed processes Foundations of Software Science and Computational Structures	2012-06-22	Paper
Proof-carrying code in a session-typed process calculus Certified Programs and Proofs	2011-11-22	Paper

Research outcomes over time

This page was built for person: Bernardo Toninho