Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku IdrisRepas, Blaž (Avtor) Mihelič, Jurij (Mentor) odvisni tipipravilnost programovprogramski jezik Idrisračunalništvoračunalništvo in informatikauniverzitetni študijdiplomske nalogeB. Repas20142024-05-26 18:43:53Diplomsko delo/naloga158077UDK: 004.42(043.2)COBISS_ID: 1536094403sl