izpis_h1_title_alt

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

.pdfPDF - Presentation file, Download (293,61 KB)
Language:Slovenian
Keywords:matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
Work type:Final seminar paper (mb14)
Tipology:2.11 - Undergraduate Thesis
Organization:FMF - Faculty of Mathematics and Physics
Year:2017
Publisher:[F. Koprivec]
Number of pages:25 str.
UDC:004
COBISS.SI-ID:18182233 Link is opened in a new window
Views:199
Downloads:286
Metadata:XML RDF-CHPDL DC-XML DC-RDF
 
Average score:(0 votes)
Your score:Voting is allowed only to logged in users.
:
Share:AddThis
AddThis uses cookies that require your consent. Edit consent...

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:

Comments

Leave comment

You have to log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back