1. Repositório Aberto da Universidade do Porto
  2. FCUP - Faculdade de Ciências
  3. FCUP - Tese
Utilize este identificador para referenciar este registo: https://hdl.handle.net/10216/71806
Registo completo
Campo DCValorIdioma
dc.creatorHugo Miguel Oliveira Romualdo Simões
dc.date.accessioned2025-11-09T12:01:12Z-
dc.date.available2025-11-09T12:01:12Z-
dc.date.issued2014-02-05
dc.date.submitted2014-03-12
dc.identifier.othersigarra:24604
dc.identifier.urihttps://hdl.handle.net/10216/71806-
dc.language.isoeng
dc.rightsopenAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/
dc.subjectCiências exactas e naturais
dc.subjectNatural sciences
dc.titleAmortised Resource Analysis for Lazy Functional Programs
dc.typeTese
dc.contributor.uportoFaculdade de Ciências
dc.identifier.doi10.34626/e6kv-nx55
dc.identifier.tid101264119
dc.subject.fosCiências exactas e naturais
dc.subject.fosNatural sciences
thesis.degree.disciplinePrograma Doutoral em Ciência de Computadores
thesis.degree.grantorFaculdade de Ciências
thesis.degree.grantorUniversidade do Porto
thesis.degree.level2
Aparece nas coleções:FCUP - Tese

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
24604.pdfAmortised Resource Analysis for Lazy Functional Programs941.12 kBAdobe PDFThumbnail
Ver/Abrir
Mostrar registo em formato simples Recomendar este registo Ver estatísticas


Este registo está protegido por Licença Creative Commons Creative Commons