Uporaba tipov za zagotavljanje pravilnosti programov : delo diplomskega seminarja

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

• Language: Slovenian
• Keywords: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
• Work type: Final seminar paper
• Typology: 2.11 - Undergraduate Thesis
• Organization: FMF - Faculty of Mathematics and Physics
• Place of publishing: Ljubljana
• Publisher: [F. Koprivec]
• Year: 2017
• Number of pages: 25 str.
• PID: 20.500.12556/RUL-100651
• UDC: 004
• COBISS.SI-ID: 18182233
• Publication date in RUL: 04.04.2018

Secondary language

• Language: English
• Title: Using types to provide safety in programming languages
• Keywords: mathematics, programming languages, type system, lambda calculus, simply typed lambda calculus