20.500.12556/RUL-100651
Uporaba tipov za zagotavljanje pravilnosti programov
delo diplomskega seminarja
Using types to provide safety in programming languages
matematika
programski jeziki
sistem tipov
lambda račun
lambda račun z enostavnimi tipi
mathematics
programming languages
type system
lambda calculus
simply typed lambda calculus
true
false
false
[F. Koprivec]
Slovenski jezik
Angleški jezik
Delo diplomskega seminarja/zaključno seminarsko delo/naloga
2018-04-04 10:22:27
2018-04-04 10:22:31
2022-08-14 03:41:24
0000-00-00 00:00:00
2017
0
Ljubljana
2017
Ljubljana
25 str.
0000-00-00
NiDoloceno
NiDoloceno
NiDoloceno
0000-00-00
0000-00-00
0000-00-00
004
18182233
RAZ_Koprivec_Filip_i2017.pdf
RAZ_Koprivec_Filip_i2017.pdf
1
25EE7EF7E7DA4C3613F618368D278F0E
a1182c7d2dd742cdd30114b1c3d343c9ef13dc3f8f485b6c1fa509755775e035
c337ab5c-a1b4-11eb-a523-00155dcfd717
https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=110426
Fakulteta za matematiko in fiziko
0
0
0