001018205100 $a y50 101 $afre2001 $aEtude de types dans les langages applicatifs.$bressource électronique328 1$bDoctorat$cInformatique700 $aBOUABANA, chouhed701 $aArray801 0$aDZ$bCERIST PNST901$ac