• Costa D, Mordido A, Poças D and Vasconcelos V. (2024). Polymorphic higher-order context-free session types. Theoretical Computer Science. 1001:C. Online publication date: 27-Jun-2024.

    https://doi.org/10.1016/j.tcs.2024.114582

  • Poças D, Costa D, Mordido A and Vasconcelos V. System with Context-free Session Types. Programming Languages and Systems. (392-420).

    https://doi.org/10.1007/978-3-031-30044-8_15

  • Cai Y, Giarrusso P and Ostermann K. (2016). System f-omega with equirecursive types for datatype-generic programming. ACM SIGPLAN Notices. 51:1. (30-43). Online publication date: 8-Apr-2016.

    https://doi.org/10.1145/2914770.2837660

  • Cai Y, Giarrusso P and Ostermann K. System f-omega with equirecursive types for datatype-generic programming. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (30-43).

    https://doi.org/10.1145/2837614.2837660

  • Kilpatrick S, Dreyer D, Peyton Jones S and Marlow S. (2014). Backpack. ACM SIGPLAN Notices. 49:1. (19-31). Online publication date: 13-Jan-2014.

    https://doi.org/10.1145/2578855.2535884

  • Kilpatrick S, Dreyer D, Peyton Jones S and Marlow S. Backpack. Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (19-31).

    https://doi.org/10.1145/2535838.2535884

  • Ke W, Liu Z, Wang S and Zhao L. (2013). A graph-based generic type system for object-oriented programs. Frontiers of Computer Science: Selected Publications from Chinese Universities. 7:1. (109-134). Online publication date: 1-Feb-2013.

    https://doi.org/10.1007/s11704-012-1307-8

  • Glew N. Subtyping for f-bounded quantifiers and equirecursive types. Logic and Program Semantics. (66-82).

    /doi/10.5555/2340820.2340827

  • Calvès C and Fernández M. (2007). Implementing Nominal Unification. Electronic Notes in Theoretical Computer Science (ENTCS). 176:1. (25-37). Online publication date: 1-May-2007.

    https://doi.org/10.1016/j.entcs.2006.09.027

  • Rémy D and Yakobowski B. A graphical presentation of MLF types with a linear-time unification algorithm. Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation. (27-38).

    https://doi.org/10.1145/1190315.1190321

  • Seco J and Caires L. Subtyping first-class polymorphic components. Proceedings of the 14th European conference on Programming Languages and Systems. (342-356).

    https://doi.org/10.1007/978-3-540-31987-0_24

  • Costa D, Mordido A, Poças D and Vasconcelos V. (2024). Polymorphic Higher-order Context-free Session Types. Theoretical Computer Science. 10.1016/j.tcs.2024.114582. (114582). Online publication date: 1-Apr-2024.

    https://linkinghub.elsevier.com/retrieve/pii/S030439752400197X

  • Ligatti J, Blackburn J and Nachtigal M. (2017). On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. ACM Transactions on Programming Languages and Systems. 39:1. (1-36). Online publication date: 31-Mar-2017.

    https://doi.org/10.1145/2994596

  • Cai Y, Giarrusso P and Ostermann K. (2016). System f-omega with equirecursive types for datatype-generic programming. ACM SIGPLAN Notices. 51:1. (30-43). Online publication date: 8-Apr-2016.

    https://doi.org/10.1145/2914770.2837660

  • Ke W, Liu Z, Wang S and Zhao L. (2013). A graph-based generic type system for object-oriented programs. Frontiers of Computer Science: Selected Publications from Chinese Universities. 7:1. (109-134). Online publication date: 1-Feb-2013.

    https://doi.org/10.1007/s11704-012-1307-8

  • Glew N. (2012). Subtyping for F-Bounded Quantifiers and Equirecursive Types. Logic and Program Semantics. 10.1007/978-3-642-29485-3_6. (66-82).

    http://link.springer.com/10.1007/978-3-642-29485-3_6