Publisher
Springer International Publishing
Reference55 articles.
1. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J.: Functorial polymorphism. Theor. Comput. Sci. 70(1), 35–64 (1990)
2. Balzer, S., Pfenning, F.: Manifest sharing with session types. In: ICFP (2017)
3. Barber, A.: Dual intuitionistic linear logic. Technical report ECS-LFCS-96-347. School of Informatics, University of Edinburgh (1996)
4. Lecture Notes in Computer Science;PN Benton,1995
5. Berger, M., Honda, K., Yoshida, N.: Genericity and the $${\pi }$$π-calculus. Acta Inf. 42(2–3), 83–141 (2005)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typed Non-determinism in Functional and Concurrent Calculi;Programming Languages and Systems;2023
2. Fairness and communication-based semantics for session-typed languages;Information and Computation;2022-05
3. Eager functions as processes;Theoretical Computer Science;2022-04
4. On Polymorphic Sessions and Functions;ACM Transactions on Programming Languages and Systems;2021-06-30
5. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18