Folgen
Bernardo Toninho
Bernardo Toninho
Bestätigte E-Mail-Adresse bei fct.unl.pt - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Linear logic propositions as session types
L Caires, F Pfenning, B Toninho
Mathematical Structures in Computer Science 26 (3), 367-423, 2016
1772016
Higher-order processes, functions, and sessions: A monadic integration
B Toninho, L Caires, F Pfenning
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
1562013
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
1242011
Behavioral polymorphism and parametricity in session-based communication
L Caires, JA Pérez, F Pfenning, B Toninho
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
902013
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
782018
A Static Verification Framework for Message Passing in Go using Behavioural Types
J Lange, N Ng, B Toninho, N Yoshida
78*
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
752017
Linear logical relations for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
732012
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
H DeYoung, L Caires, F Pfenning, B Toninho
CSL 16, 228-242, 2012
692012
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
652014
Functions as session-typed processes
B Toninho, L Caires, F Pfenning
Foundations of Software Science and Computational Structures: 15th …, 2012
612012
Manifest deadlock-freedom for shared session types
S Balzer, B Toninho, F Pfenning
European Symposium on Programming, 611-639, 2019
582019
Corecursion and non-divergence in session-typed processes
B Toninho, L Caires, F Pfenning
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
512014
Proof-carrying code in a session-typed process calculus
F Pfenning, L Caires, B Toninho
Certified Programs and Proofs: First International Conference, CPP 2011 …, 2011
512011
Towards concurrent type theory
L Caires, F Pfenning, B Toninho
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012
462012
A Logical Foundation for Session-based Concurrent Computation
B Toninho
Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015
402015
Depending on session-typed processes
B Toninho, N Yoshida
Foundations of Software Science and Computation Structures: 21st …, 2018
342018
On polymorphic sessions and functions: a tale of two (fully abstract) encodings
B Toninho, N Yoshida
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (2), 1-55, 2021
302021
Certifying Data in Multiparty Session Types
B Toninho, N Yoshida
A List of Successes That Can Change the World, 433-458, 2016
302016
Featherweight go
R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
232020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20