Go to:
Logótipo
You are in:: Start > Publications > View > Contract Checking For Lazy Functional Languages
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

Contract Checking For Lazy Functional Languages

Title
Contract Checking For Lazy Functional Languages
Type
Thesis
Year
2018-09-07
Authors
Rui Jorge Santos Andrade
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications Without AUTHENTICUS Without ORCID
Thesis
Scientific classification
FOS: Natural sciences
Other information
Language: English
Documents
File name Description Size
thesis_final Contract Checking For Lazy Functional Languages 661.98 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-01-28 at 17:18:29 | Reports Portal