Zobrazeno 1 - 10
of 119
pro vyhledávání: '"Christiansen, Jan"'
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
Autor:
Christiansen, Jan Ari
Oppgavens hovedformål har vært å kartlegge materialflyten av aluminium i Norge. Hensikten med en slik kartlegging var å drøfte dagens og fremtidens resirkuleringsgrad i relasjon til teknologisk løsning og økologisk effektivitet i systemet saml
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-1435
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.
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.
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.