Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris : diplomsko delo

Repas, Blaž (author), Mihelič, Jurij (mentor)

• Language: Slovenian
• Keywords: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge
• Work type: Bachelor thesis/paper
• Typology: 2.11 - Undergraduate Thesis
• Organization: FRI - Faculty of Computer and Information Science
• Place of publishing: Ljubljana
• Publisher: B. Repas
• Year: 2014
• Number of pages: 77 str.
• PID: 20.500.12556/RUL-158077
• UDC: 004.42(043.2)
• COBISS.SI-ID: 1536094403
• Publication date in RUL: 26.05.2024

Secondary language

• Language: English
• Keywords: dependent types, program correctness, Idris programming language, computer science, computer and information science, diploma