Please use this identifier to cite or link to this item:
Author(s): Rui Jorge Santos Andrade
Title: Contract Checking For Lazy Functional Languages
Issue Date: 2018-09-07
Subject: Ciências exactas e naturais
Natural sciences
Scientific areas: Ciências exactas e naturais
Natural sciences
TID identifier: 202181960
Document Type: Dissertação
Rights: openAccess
Appears in Collections:FCUP - Dissertação

Files in This Item:
File Description SizeFormat 
285783.pdfContract Checking For Lazy Functional Languages661.98 kBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.