| Linear logic propositions as session types L Caires, F Pfenning, B Toninho Mathematical Structures in Computer Science 26 (3), 367-423, 2016 | 162 | 2016 |
| Higher-order processes, functions, and sessions: A monadic integration B Toninho, L Caires, F Pfenning European Symposium on Programming, 350-369, 2013 | 147 | 2013 |
| 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 | 116 | 2011 |
| Behavioral polymorphism and parametricity in session-based communication L Caires, JA Pérez, F Pfenning, B Toninho European Symposium on Programming, 330-349, 2013 | 85 | 2013 |
| Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho European Symposium on Programming, 539-558, 2012 | 72 | 2012 |
| 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 | 70 | 2018 |
| 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 | 70 | 2017 |
| A Static Verification Framework for Message Passing in Go using Behavioural Types J Lange, N Ng, B Toninho, N Yoshida | 70* | |
| Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. H DeYoung, L Caires, F Pfenning, B Toninho CSL 16, 228-242, 2012 | 69 | 2012 |
| 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 | 60 | 2014 |
| Functions as session-typed processes B Toninho, L Caires, F Pfenning International Conference on Foundations of Software Science and …, 2012 | 57 | 2012 |
| Manifest deadlock-freedom for shared session types S Balzer, B Toninho, F Pfenning European Symposium on Programming, 611-639, 2019 | 56 | 2019 |
| 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 | 51 | 2011 |
| Corecursion and non-divergence in session-typed processes B Toninho, L Caires, F Pfenning International Symposium on Trustworthy Global Computing, 159-175, 2014 | 49 | 2014 |
| Towards concurrent type theory L Caires, F Pfenning, B Toninho Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012 | 45 | 2012 |
| A Logical Foundation for Session-based Concurrent Computation B Toninho Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015 | 36 | 2015 |
| Depending on session-typed processes B Toninho, N Yoshida International Conference on Foundations of Software Science and Computation …, 2018 | 31 | 2018 |
| 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 | 28 | 2021 |
| Certifying Data in Multiparty Session Types B Toninho, N Yoshida A List of Successes That Can Change the World, 433-458, 2016 | 28 | 2016 |
| A Universal Session Type for Untyped Asynchronous Communication S Balzer, F Pfenning, B Toninho | 18* | |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
