research
∙
04/13/2023
Kind Inference for the FreeST Programming Language
We present a kind inference algorithm for the FREEST programming languag...
research
∙
06/12/2021
Polymorphic Context-free Session Types
Context-free session types provide a typing discipline for recursive str...
research
∙
04/02/2019