Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/64269
Author(s): Florido, António Mário da Silva Marcos
Title: Sistemas de tipos para linguagens declarativas : [Dissertação de Doutoramento]
Publisher: Porto : Faculdade de Ciências da Universidade do Porto
Issue Date: 1997
URI: http://hdl.handle.net/10216/64269
Catalogue Link: http://catalogo.up.pt/F?func=find-b&local_base=FCB01&find_code=SYS&request=000002257
Document Type: Tese
Rights: openAccess
Appears in Collections:FCUP - Tese

Files in This Item:
File Description SizeFormat 
2257_231_TD_01_P.pdfVersão a Preto & Branco7.71 MBAdobe PDFThumbnail
View/Open
2257_231_TD_01_C.pdfVersão a Cores38.62 MBAdobe PDFThumbnail
View/Open


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