Padovani, Luca, 2013, From Lock Freedom To Progress Using Session Types, Electronic Proceedings In Theoretical Computer Science, 137, pp. 3-19, 10.4204/eptcs.137.2.Garrett Lindley, Sam, 2016, Talking Bananas: Structural Recursion For Session Types, Proceedings Of The 21St ACM SIGPLAN International Conference On Functional Programming, 10.1145/2951913.2951921. Mordido, Andreia Das, Ankush Deyoung, Henry Pfenning, Frank, 2022, Nested Session Types, ACM Transactions On Programming Languages And Systems, 44, 3, pp. 1-45, 10.1145/3539656.Lozes, Ătienne Villard, Jules, 2012, Shared Contract-Obedient Endpoints, Electronic Proceedings In Theoretical Computer Science, 104, pp. 17-31, 10.4204/eptcs.104.3.Dezani-Ciancaglini, Mariangiola Castagna, Giuseppe Giachino, Elena Padovani, Luca, 2019, Foundations Of Session Types, Proceedings Of The 21St International Symposium On Principles And Practice Of Programming Languages 2019, 10.1145/3354166.3356340.Das, Ankush DeYoung, Henry Mordido, Andreia Pfenning, Frank, 2021, Nested Session Types, Programming Languages And Systems, pp. 178-206, 10.1007/978-9-3_7.Kouzapas, Dimitrios, 2014, On Duality Relations For Session Types, Trustworthy Global Computing, pp. 51-66, 10.1007/978-7-1_4. Dardha, Ornela Bernardi, Giovanni Gay, Simon J. ![]() Pfenning, Frank, 2013, Behavioral Polymorphism And Parametricity In Session-Based Communication, Programming Languages And Systems, pp. 330-349, 10.1007/978-6-6_19. ![]() ![]()
0 Comments
Leave a Reply. |