Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/115539
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
URI: https://hdl.handle.net/10216/115539
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 PDFView/Open


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