| Linear logic propositions as session types L Caires, F Pfenning, B Toninho Mathematical Structures in Computer Science 26 (3), 367-423, 2016 | 193 | 2016 |
| 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 | 165 | 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 | 136 | 2011 |
| 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 | 98 | 2013 |
| 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 | 93 | 2018 |
| A Static Verification Framework for Message Passing in Go using Behavioural Types J Lange, N Ng, B Toninho, N Yoshida | 93* | |
| 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 | 81 | 2017 |
| Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. H DeYoung, L Caires, F Pfenning, B Toninho CSL 16, 228-242, 2012 | 79 | 2012 |
| 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 | 78 | 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 | 74 | 2014 |
| Manifest deadlock-freedom for shared session types S Balzer, B Toninho, F Pfenning European Symposium on Programming, 611-639, 2019 | 68 | 2019 |
| Functions as session-typed processes B Toninho, L Caires, F Pfenning Foundations of Software Science and Computational Structures: 15th …, 2012 | 64 | 2012 |
| Corecursion and non-divergence in session-typed processes B Toninho, L Caires, F Pfenning Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014 | 56 | 2014 |
| 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 | 49 | 2011 |
| Towards concurrent type theory L Caires, F Pfenning, B Toninho Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012 | 48 | 2012 |
| Depending on session-typed processes B Toninho, N Yoshida Foundations of Software Science and Computation Structures: 21st …, 2018 | 41 | 2018 |
| A Logical Foundation for Session-based Concurrent Computation B Toninho Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015 | 41 | 2015 |
| 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 | 39 | 2021 |
| Certifying Data in Multiparty Session Types B Toninho, N Yoshida A List of Successes That Can Change the World, 433-458, 2016 | 35 | 2016 |
| Ferrite: A judgmental embedding of session types in Rust RF Chen, S Balzer, B Toninho arXiv preprint arXiv:2205.06921, 2022 | 32 | 2022 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
