Vasco T. Vasconcelos was hosted by the Department of Computer Science (portuguese acronym, DCC) of the Faculdade de Ciências da Universidade do Porto to give a talk on the FreeST programming language. The talk was part of the department’s Talks@DCC seminars, which aim to bring together researchers and students to foster discussions and promote scientific awareness and collaboration.
In the talk, titled “FreeST and the Higher-order Polymorphic Lambda Calculus“, the LASIGE integrated member introduced FreeST, a message-passing concurrent functional language where communication channels are typed against context-free session types. The talk addressed the challenges of deciding type equivalence and challenges in the FreeST compiler.
The FreeST tool results from joint work carried out by Vasco T. Vasconcelos, Bernardo Almeida, Diana Costa, Andreia Mordido, and Diogo Poças. More information on the programming language can be found here.