TY  - RPRT
TI  - Kind Inference for the FreeST Programming Language
AU  - Bernardo Almeida
AU  - Andreia Mordido
AU  - Vasco T. Vasconcelos
PY  - 2023
DO  - 10.4204/eptcs.378.1
UR  - https://arxiv.org/abs/2304.06396
ID  - 2304.06396
ER  -