Your browser does not allow JavaScript!

JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.





Work type:
Language:
Search in:		Search
	Show full text results only	Simple search

4 results

1 - 4 / 4

1

1. Equality between programs with effects
Niels Frits Willem Voorneveld, 2020, doctoral dissertation

Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices
Full text (file, 2,42 MB)

2. Applications of algebraic effect theories
Žiga Lukšič, 2020, doctoral dissertation

Keywords: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics
Full text (file, 1,64 MB) This document has more files! More...

3. Effective metatheory for type theory
Philipp Georg Haselwarter, 2022, doctoral dissertation

Keywords: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effects
Full text (file, 2,22 MB)

4. Efficient multishot algebraic effect handlers
Filip Koprivec, 2024, doctoral dissertation

Keywords: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics, optimizing compilation, polymorphic compilation, subtyping
Full text (file, 1,28 MB)

Search done in 0.02 sec.