Sandra Dylus und Non-Determinism - Info zur Person

(1 - 7 von 7

)

Tabular: Probabilistic Inference from the Spreadsheet (Chapter 14)www.cambridge.org › core › books › tabular-proba...

www.cambridge.org

Type: Article; Title: Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism; Authors: SANDRA DYLUS, JAN CHRISTIANSEN and ...

[ ] Implementing a Library for Probabilistic Programming...

arxiv.org

Title:Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. Authors:Sandra Dylus, Jan Christiansen, Finn ...

Effectful Programming in Declarative Languages with an Emphasis ...arxiv.org › cs

arxiv.org

· ... Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. Authors:Sandra Dylus.

Sandra Dylus - DBLPdblp.org › Persons

dblp.org

· Sandra Dylus: Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning.

EasyCheck - Mathematical software - swMATHwww.swmath.org › software

zbmath.org

Sandra Dylus, Jan Christiansen, Finn Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism ...

TPLP Volume 20, – Association for Logic Programmingwww.cs.nmsu.edu › ALP › tplp-volume

www.cs.nmsu.edu

... Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. Sandra Dylus, Jan Christiansen, and Finn Teegen, pp

P-log: refinement and a new coherency condition - Researcher | An Apwww.researcher-app.com › paper

www.researcher-app.com

3 years ago. Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. SANDRA DYLUS, JAN CHRISTIANSEN, FINN TEEGEN.

Alle Infos zum Namen "Sandra Dylus"

Verwandte Suchanfragen zu Sandra Dylus

Nikita Danilenko
Niels Bunkenburg

Personen
Vorname "Sandra" (68392)
Name "Dylus" (35)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sandra Dylus und Non-Determinism Person-Info