Synthesis of Programs from Linear Types - Maria Inês Melo e Sousa (2021)