RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.

Title: Parametric Polymorphism in Structural Types
Speaker: Andreia Mordido (LASIGE, DI/FCUL)
When: Thursday, July 23rd, 17h00
Where: https://videoconf-colibri.zoom.us/j/94918670824

Abstract:

In this talk, we will see that the introduction of parametric polymorphism in structural coinductive type systems is a challenge for type checking. Remarkably, parametric type constructors allow us to model behaviors described by context-free grammars. We will illustrate this expressivity with some examples of client-server communication protocols specified by session types.

Bio:

Andreia Mordido is an Invited Assistant Professor at the Department of Informatics of Faculdade de Ciências, Universidade de Lisboa, and a researcher at LASIGE. She was a visiting researcher at Carnegie Mellon University in Fall 2019, where she started to work on the topic of this talk. Andreia is a researcher working on programming languages and type systems for the specification and verification of communication protocols and programs.