Bernardo Almeida

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Lambda Calculus

Grammatical Inference

Context Dependent

Top Venues

Publications

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Kind Inference for the FreeST Programming Language. CoRR (2023)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289 (Part) (2022)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic Context-free Session Types. CoRR (2021)
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
Mixed Sessions. ESOP (2020)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Deciding the Bisimilarity of Context-Free Session Types. TACAS (2) (2020)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
FreeST: Context-free Session Types in a Functional Language. PLACES@ETAPS (2019)