Etiqueta de registo: 00000nam 2200025 450
001 1990170
003 http://id.bnportugal.gov.pt/bib/catbnp/1990170
100 ## $a20180515d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aAdding dependent types to class-based mutable objects$fJoana Correia Campos$gorient. Vasco Manuel Thudichum de Serpa Vasconcelos
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $aXVI, 123 p.$cil.$d30 cm$ecurriculum vitae
328 #1 $aTese dout. Informática (Ciência da Computação), Faculdade de Ciências, Universidade de Lisboa, 2018
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aCampos,$bJoana Correia$31714041
702 #1 $aVasconcelos,$bVasco Manuel Thudichum de Serpa$4727$31295269
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 50648 V.$x1