Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 3
Higher-order asynchronous effects
Danel Ahman, Matija Pretnar
Izvirni znanstveni članek
Oznake: algebraic effects;asynchrony;concurrency;interrupt handling;signals;promises;
We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, by decoupling the execution of operation calls into signalling that an operation's implementation needs to b ...
Leto: 2024 Vir: Repozitorij Univerze v Ljubljani (RUL)
Asinhroni algebrajski učinki
Janez Radešček, Matija Pretnar, Danel Ahman
Magistrsko delo
Oznake: asinhrono izvajanje;algebrajski učinki;vzporedno izvajanje;prestrezniki;signali;
V delu si pogledamo programski jezik Æff in $\lambda_æ$-račun, na katerem temelji. Glavna lastnost $\lambda_æ$-računa je možnost asinhronega izvajanja v navezi z vzporednim izvajanjem. To dosežemo tako, da prestreznik naprej izvaja svoje nadaljevanje, medtem ko čaka, da dobi odgovor v obliki učinka ...
Leto: 2021 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, Matija Pretnar, Danel Ahman
Magistrsko delo
Oznake: lamda račun;časovno omejeni viri;modalni tipi;izrek o varnosti;teorija enačb;skladnost;formalizacija;
Lambda račun je eden izmed osnovnih matematičnih modelov računanja, kjer uporabljamo le spremenljivke, funkcije (abstrakcije) in aplikacije funkcij. Lahko ga razširimo s tipi in tako dobimo tipizirani lambda račun, ki je jedro funkcijskih programskih jezikov. Tipi v jeziku zagotavljajo varnost, saj ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 3
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: