Vaš brskalnik ne omogoča JavaScript!

JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.





Vrsta gradiva:
Jezik:
Išči po:		Išči
	Prikaži samo rezultate s celotnim besedilom	Enostavno iskanje

4 rezultati

1 - 4 / 4

1

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)

Iskanje izvedeno v 0.06 sek.