Uporaba tipov za zagotavljanje pravilnosti programov : delo diplomskega seminarja

Koprivec, Filip (avtor), Pretnar, Matija (mentor)

• Jezik: Slovenski jezik
• Ključne besede: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
• Vrsta gradiva: Delo diplomskega seminarja/zaključno seminarsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Kraj izida: Ljubljana
• Založnik: [F. Koprivec]
• Leto izida: 2017
• Št. strani: 25 str.
• PID: 20.500.12556/RUL-100651
• UDK: 004
• COBISS.SI-ID: 18182233
• Datum objave v RUL: 04.04.2018

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Using types to provide safety in programming languages
• Ključne besede: mathematics, programming languages, type system, lambda calculus, simply typed lambda calculus