Uporaba tipov za zagotavljanje pravilnosti programovKoprivec, Filip (Avtor) Pretnar, Matija (Mentor) matematikaprogramski jezikisistem tipovlambda računlambda račun z enostavnimi tipi[F. Koprivec]20172018-04-04 10:22:27Delo diplomskega seminarja/zaključno seminarsko delo/naloga100651UDK: 004COBISS_ID: 18182233sl