izpis_h1_title_alt

Uporaba tipov za zagotavljanje pravilnosti programov : delo diplomskega seminarja
ID Koprivec, Filip (Author), ID Pretnar, Matija (Mentor) More about this mentor... This link opens in a new window

.pdfPDF - Presentation file, Download (293,61 KB)
MD5: 25EE7EF7E7DA4C3613F618368D278F0E

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 This link opens in a new window
UDC:004
COBISS.SI-ID:18182233 This link opens in a new window
Publication date in RUL:04.04.2018
Views:1275
Downloads:513
Metadata:XML DC-XML DC-RDF
:
Copy citation
Share:Bookmark and Share

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

Similar documents

Similar works from RUL:
Similar works from other Slovenian collections:

Back