Etiqueta de registo: 00230nam 2200025 450
001 1881274
003 http://id.bnportugal.gov.pt/bib/catbnp/1881274
100 ## $a20140811d2014 k y0pory0103 ba
101 0# $aeng$dporundfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAmortised resource analysis for lazy functional programs$fHugo Miguel Oliveira Romualdo Simões$gorient. Mário Florido, Kevin Hammond
210 #9 $aPorto$c[s.n.],$d2014
215 ## $aXVIII, 122 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Ciência de Computadores, Univ. do Porto, 2014
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a004.8(043)$vBN$zpor$31234122
700 #1 $aSimões,$bHugo Miguel Oliveira Romualdo$31582824
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
702 #1 $aHammond,$bKevin$4727$31582825
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21505 P.$x1
966 ## $lBN$mFGMON$x1