Bernardo Toninho
Bernardo Toninho
Verified email at fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
Higher-order processes, functions, and sessions: A monadic integration
B Toninho, L Caires, F Pfenning
European Symposium on Programming, 350-369, 2013
1012013
Linear logic propositions as session types
L Caires, F Pfenning, B Toninho
Mathematical Structures in Computer Science 26 (3), 367-423, 2016
912016
Dependent session types via intuitionistic linear type theory
B Toninho, L Caires, F Pfenning
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
812011
Behavioral polymorphism and parametricity in session-based communication
L Caires, JA Pérez, F Pfenning, B Toninho
European Symposium on Programming, 330-349, 2013
602013
Linear logical relations for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
European Symposium on Programming, 539-558, 2012
592012
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
H DeYoung, L Caires, F Pfenning, B Toninho
CSL 16, 228-242, 2012
502012
Proof-carrying code in a session-typed process calculus
F Pfenning, L Caires, B Toninho
International Conference on Certified Programs and Proofs, 21-36, 2011
482011
Functions as session-typed processes
B Toninho, L Caires, F Pfenning
International Conference on Foundations of Software Science and …, 2012
422012
Linear logical relations and observational equivalences for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Information and Computation 239, 254-302, 2014
352014
Towards concurrent type theory
L Caires, F Pfenning, B Toninho
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012
342012
Corecursion and non-divergence in session-typed processes
B Toninho, L Caires, F Pfenning
International Symposium on Trustworthy Global Computing, 159-175, 2014
332014
Fencing off go: liveness and safety for channel-based programming
J Lange, N Ng, B Toninho, N Yoshida
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
302017
A static verification framework for message passing in Go using behavioural types
NY Julien Lange, Nicholas Ng, Bernardo Toninho
International Conference on Software Engineering, 1137-1148, 2018
282018
A Static Verification Framework for Message Passing in Go using Behavioural Types
J Lange, N Ng, B Toninho, N Yoshida
28*
Certifying Data in Multiparty Session Types
B Toninho, N Yoshida
A List of Successes That Can Change the World, 433-458, 2016
182016
A Logical Foundation for Session-based Concurrent Computation
B Toninho
Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015
172015
Depending on session-typed processes
B Toninho, N Yoshida
International Conference on Foundations of Software Science and Computation …, 2018
162018
A spatial-epistemic logic for reasoning about security protocols
B Toninho, L Caires
arXiv preprint arXiv:1102.5584, 2011
122011
Manifest deadlock-freedom for shared session types
S Balzer, B Toninho, F Pfenning
European Symposium on Programming, 611-639, 2019
112019
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20