Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices
Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete latticesCelotno besedilo (datoteka, 2,42 MB)
Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semanticsCelotno besedilo (datoteka, 1,64 MB) Gradivo ima več datotek! Več...
Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsCelotno besedilo (datoteka, 2,22 MB)