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

3 rezultati

1 - 3 / 3

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. 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.04 sek.