Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Dylus, Sandra"'
Autor:
Dylus, Sandra
This thesis investigates effectful declarative programming with an emphasis on non-determinism as an effect. On the one hand, we are interested in developing applications using non-determinism as underlying implementation idea. We discuss two applica
Externí odkaz:
http://arxiv.org/abs/2006.01531
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilisti
Externí odkaz:
http://arxiv.org/abs/1905.07212
Publikováno v:
The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 8
One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assis
Externí odkaz:
http://arxiv.org/abs/1805.08059
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.