Seminário Doutoral

FreeST: A functional programming language with context-free session types

Sala 6.3.27, Ciências ULisboa

Por Bernardo Almeida (orientadores: Vasco Vasconcelos e Andreia Mordido).

Communication plays a significant role in software systems. Therefore, it is essential to define protocols that account for the order and form of the messages exchanged between different system agents. Session types offer mechanisms to model these interactions. FreeST is a functional concurrent programming language where messages are exchanged on bidirectional channels governed by context-free session types. The first FreeST version (1.0) features a predicative polymorphic type system (also known as a prenex polymorphic system), which does not allow type variables to be instantiated with polymorphic types. In this seminar, we introduce FreeST 2.0, in which we lift the previous restriction and thus have an impredicative polymorphic type system. Furthermore, we highlight the major changes regarding FreeST's first version.

12h00-13h00
Departamento de Informática | Ciências ULisboa
Título/data/local do evento, sobre a Tabela Periódica

This year's program will cover two plenary sessions hosted by Susete Pinteus and Hugo Miranda, complemented by oral presentations, flash talks, and poster communications. Finally, a round table discussion will take place at the end of our meeting.

Logótipo do prémio

As candidaturas à 11.ª edição decorrem até 28 de junho.

Vai realizar-se em Lisboa, nos dias 28 e 29 de junho de 2024, o 37.º Encontro do Seminário Nacional de História da Matemática.

Logótipo do Verão na ULisboa, sobre um fundo amarelo

Uma oportunidade única de conheceres e experimentares o ritmo e o espírito da vida académica!

Título/data/local do evento e representação do cérebro humano

O maior evento anual na área da ciência e da tecnologia em Portugal.

The topics of the conference include (but are not limited to) classical and quantum integrable systems, complex geometry of moduli spaces, automorphic forms and their applications to number theory.

Título/data do evento, logótipos das entidades organizadoras e fotografia de Lisboa (Castelo de S. Jorge e respetiva colina)

Inscrição (taxa reduzida) até 20 de abril.

Título/data/local do evento, logótipos das entidades organizadoras e várias fotografias da orla costeira e de pessoas

Escola de verão com um programa muito diversificado, com especialistas em vários tópicos, que vão falar sobre formas de olhar para o nosso planeta de uma forma integrada, juntando conhecimentos de várias disciplinas.

Are you a BSc or MSc student interested in Soft Matter, Non-linear Dynamics and Waves or Particle Physics?

Vem investigar connosco!

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Páginas