Napredno

 
  Išči
    Enostavno iskanje


Rezultati

5 rezultatov
1 - 5 / 5
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1. Equality between programs with effects
Niels Frits Willem Voorneveld, 2020, doktorska disertacija

Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices
Celotno besedilo (datoteka, 2,42 MB)

2. Applications of algebraic effect theories
Žiga Lukšič, 2020, doktorska disertacija

Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics
Celotno besedilo (datoteka, 1,64 MB) Gradivo ima več datotek! Več...

3. Effective metatheory for type theory
Philipp Georg Haselwarter, 2022, doktorska disertacija

Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effects
Celotno besedilo (datoteka, 2,22 MB)

4. Efficient multishot algebraic effect handlers
Filip Koprivec, 2024, doktorska disertacija

Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics, optimizing compilation, polymorphic compilation, subtyping
Celotno besedilo (datoteka, 1,28 MB)

5. Higher-order asynchronous effects
Danel Ahman, Matija Pretnar, 2024, izvirni znanstveni članek

Ključne besede: algebraic effects, asynchrony, concurrency, interrupt handling, signals, promises
Celotno besedilo (datoteka, 846,53 KB) Gradivo ima več datotek! Več...
Iskanje izvedeno v 0.02 sek.
Na vrh