| Higher-order processes, functions, and sessions: A monadic integration B Toninho, L Caires, F Pfenning European Symposium on Programming, 350-369, 2013 | 105 | 2013 |
| Linear logic propositions as session types L Caires, F Pfenning, B Toninho Mathematical Structures in Computer Science 26 (3), 367-423, 2016 | 101 | 2016 |
| 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 | 84 | 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 | 65 | 2013 |
| Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho European Symposium on Programming, 539-558, 2012 | 58 | 2012 |
| Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. H DeYoung, L Caires, F Pfenning, B Toninho CSL 16, 228-242, 2012 | 55 | 2012 |
| 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 |
| Functions as session-typed processes B Toninho, L Caires, F Pfenning International Conference on Foundations of Software Science and …, 2012 | 46 | 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 | 39 | 2014 |
| 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 | 36 | 2017 |
| Towards concurrent type theory L Caires, F Pfenning, B Toninho Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012 | 35 | 2012 |
| Corecursion and non-divergence in session-typed processes B Toninho, L Caires, F Pfenning International Symposium on Trustworthy Global Computing, 159-175, 2014 | 33 | 2014 |
| 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 | 32 | 2018 |
| A Static Verification Framework for Message Passing in Go using Behavioural Types J Lange, N Ng, B Toninho, N Yoshida | 32* | |
| A Logical Foundation for Session-based Concurrent Computation B Toninho Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015 | 21 | 2015 |
| Certifying Data in Multiparty Session Types B Toninho, N Yoshida A List of Successes That Can Change the World, 433-458, 2016 | 20 | 2016 |
| Manifest deadlock-freedom for shared session types S Balzer, B Toninho, F Pfenning European Symposium on Programming, 611-639, 2019 | 17 | 2019 |
| Depending on session-typed processes B Toninho, N Yoshida International Conference on Foundations of Software Science and Computation …, 2018 | 16 | 2018 |
| A spatial-epistemic logic for reasoning about security protocols B Toninho, L Caires arXiv preprint arXiv:1102.5584, 2011 | 12 | 2011 |
| On Polymorphic Sessions and Functions B Toninho, N Yoshida European Symposium on Programming, 827-855, 2018 | 11 | 2018 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
