LASIGE researcher at Carnegie Mellon University

Date: 21/09/2019

Andreia Mordido participated in the CMU Portugal Visiting Faculty and Researchers Program. At Carnegie Mellon University (CMU), the researcher worked with Frank Pfenning, Ankush Das, and Henry DeYoung on a better understanding of polymorphism in session types.

Andreia Mordido was invited to deliver a talk at the PoP seminar, in which she connected her previous work on type equivalence of context-free session types with the polymorphic approach to session types, through unary type constructors.

The LASIGE researcher shares her insight on her visit to CMU and talks about how the program allows allows to establish frutfuil and conceivably long lasting connections here.