Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 4
Ocenjevanje varnosti domačega okolja starejših odraslih z ocenjevalnim orodjem HOME FAST
Jan Strajnar, Žak Kreča, Filip Pretnar, Sara Drevenšek, Eva Logar, Dolores Sodja, Katarina Hekič
Strokovni članek
Oznake: starejši ljudje;domače okolje;varnost;padci;ocenjevanje varnosti;ocenjevalna orodja;preprečevanje padcev;prilagoditev bivalnega okolja;
Leto: 2025 Vir: Fakulteta za zdravstvene vede Univerza v Novem mestu (UNM FZV)
Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, Matija Pretnar
Diplomsko delo
Oznake: matematika;programski jeziki;sistem tipov;lambda račun;lambda račun z enostavnimi tipi;
Uporaba tipov za zagotavljanje pravilnosti programov
Leto: 2017 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Eksplicitna izpeljava učinkov
Filip Koprivec, Matija Pretnar
Magistrsko delo
Oznake: algebrajski učinki in njihovi prestrezniki;izpeljava tipov;eksplicitni tipi;
V delu je predstavljena avtomatska izpeljava in eksplicitna dopolnitev tipov programov z algebrajskimi učinki. Predstavljen je MiniEff, preprost funkcijski programski jezik s polimorfnimi shemami in podporo za algebrajske učinke, ki temelji na jeziku Eff. Za MiniEff sta podana in dokazana izrek o na ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Filip Koprivec, Matija Pretnar
Izvirni znanstveni članek
Oznake: computational effects;optimizing compilation;algebraic effects;polymorphic compilation;subtyping;denotational semantics;
Algebraic effect handlers are becoming an increasingly popular way of structuring effectful computations, and their performance is often a concern. One of the proposed approaches towards efficient compilation is tracking effect information through explicit subtyping coercions. However, in the presen ...
Leto: 2025 Vir: Digitalni repozitorij raziskovalnih organizacij Slovenije
Št. zadetkov: 4
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: