Sandra Dylus - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 6 von 6

)

[ ] 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 ...

[ v3] One Monad to Prove Them All (Functional Pearl)

arxiv.org

From: Sandra Dylus [view email] [v1] Mon, 21 May :54:58 UTC (52 KB) [v2] Sun, 10 Jun :45:23 UTC (49 KB) [v3] Mon, 1 Oct :25:19 UTC ...

[PDF] Modeling Call-Time Choice as Effect using Scoped Free Monadsbunkenburg.net › papers › ModelingCallTimeChoiceAsEffect

bunkenburg.net

Programming Languages and Compiler Construction. Department of Computer Science. Kiel University. Advised by. P.D. Dr. Frank Huch. M.Sc. Sandra Dylus.

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.

[PDF] Program Adverbs and Tlˆn Embeddings - UPenn CISwww.cis.upenn.edu › ~sweirich › papers › icfp22

www.cis.upenn.edu

Jan Christiansen, Sandra Dylus, and Niels Bunkenburg Verifying effectful Haskell programs in Coq. In Proceedings of.

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

Dokumente zum Namen Sandra Dylus

[ ] Implementing a Library for Probabilistic Programming...

[ v3] One Monad to Prove Them All (Functional Pearl)

[PDF] Modeling Call-Time Choice as Effect using Scoped Free Monadsbunkenburg.net › papers › ModelingCallTimeChoiceAsEffect

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

[PDF] Program Adverbs and Tlˆn Embeddings - UPenn CISwww.cis.upenn.edu › ~sweirich › papers › icfp22