Sousa, M. I. M. e. (2021). Synthesis of Programs from Linear Types.
Citação norma ChicagoSousa, Maria Inês Melo e. Synthesis of Programs from Linear Types. 2021.
Citação norma MLASousa, Maria Inês Melo e. Synthesis of Programs from Linear Types. 2021.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.