Go to:
Logótipo
You are in:: Start > Publications > View > Synthesis of Programs from Linear Types
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Publication

Synthesis of Programs from Linear Types

Title
Synthesis of Programs from Linear Types
Type
Thesis
Year
2021-11-17
Authors
Maria Inês Melo e Sousa
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications Without AUTHENTICUS Without ORCID
Thesis
Master's Degree
Dissertation
Scientific classification
FOS: Natural sciences
Other information
Language: English
Documents
File name Description Size
Synthesis_of_Programs_from_Linear_Types Synthesis of Programs from Linear Types 575.95 KB
Recommend this page Top
Copyright 1996-2023 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2023-02-05 at 17:39:01 | Acceptable Use Policy | Data Protection Policy | Complaint Portal