1
0
0
(1 - 21 von 21
)
‹Programming› Conferenceswww.ppopp.org › program › program-programmin...
www.ppopp.org
vor 4 Tagen · Sandra Dylus University of Kiel, Germany, Jan Christiansen Flensburg University of Applied Sciences, Germany, Finn Teegen University of Kiel ...
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 ...
Practical Aspects of Declarative Languages: 20th International ...books.google.com.au › books
books.google.com.au
3 Sandra Dylus, Jan Christiansen, and Finn Teegen Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs.
[ ] 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 ...
[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.
Best Student Paper Award — Institut für Informatik
www.inf.uni-kiel.de
Eine Arbeit von Sandra Dylus und Finn Teegen aus der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion, die in Zusammenarbeit mit Jan Christiansen von der Hochschule Flensburg entstanden ist, wurde auf der Tagung PADL
19. Kolloquium Programmiersprachen und Grundlagen KPS 2017www.kps2017.uni-jena.de › kps2017_program
www.kps2017.uni-jena.de
Sandra Dylus und Jan Christiansen. 12: :30, Mittagessen. 14: :00, Sitzung 2 (Sitzungsleitung: Christian Heinlein).
Practical Aspects of Declarative Languages | SpringerLinklink.springer.com › book
link.springer.com
Sandra Dylus, Jan Christiansen, Finn Teegen. Pages PDF · Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs.
Research papers/Functional pearls - HaskellWikiwiki.haskell.org › Research_papers › Functional_pe...
wiki.haskell.org
· Free Delivery - Jeremy Gibbons. All Sorts of Permutations - Jan Christiansen, Nikita Danilenko and Sandra Dylus A Smart View on Datatypes ...
ICFP及び関連イベント参加レポート – ICFP 1日目 – | AI tech studio
cyberagent.ai
Talker: Jan Christiansen, Nikita Danilenko, Sandra Dylus Paper: All sorts of permutations (functional pearl). Haskell. type ND a = [a] filterND :: (a ...
Haskell – Proceedingswww.conference-publishing.com › list
www.conference-publishing.com
Jan Christiansen, Sandra Dylus, and Niels Bunkenburg (Flensburg University of Applied Sciences, Germany; University of Kiel, Germany) Publisher's Version.
Resources for "One Monad to Prove Them All" - Open Source Libsopensourcelibs.com › lib › free-proving
opensourcelibs.com
Resources for One Monad to Prove Them All (submitted to ) by Jan Christiansen, Sandra Dylus and Finn Teegen. DOI. Free Proving. Resources ...
Memoization | Citations | Top Authors | Related Topicstypeset.io › Topic Directory › Memoization
typeset.io
Sandra Dylus 1, Jan Christiansen 2, Finn Teegen 1• Institutions (2). University of Kiel 1, Fachhochschule Flensburg May arXiv: Programming ...
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.
TPLP Volume 20, Association for Logic Programminglogicprogramming.org › tplp › tplp-volume
logicprogramming.org
... Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. Sandra Dylus, Jan Christiansen, and Finn Teegen, pp
Trivium: 28may Leah Neukirchenleahneukirchen.org › trivium
leahneukirchen.org
One Monad to Prove Them All, Functional Pearl by Jan Christiansen, Sandra Dylus, and Finn Teegen. Proof-relevant unification: Dependent ...
Volume 3, Issue 3 - The Programming Journalprogramming-journal.org › issue3
programming-journal.org
Sandra Dylus, Jan Christiansen, and Finn Teegen; Babylonian-style Programming Design and Implementation of an Integration of Live Examples Into ...
[PDF] Research Summary on Implementing Functional Patterns by ...cgi.cse.unsw.edu.au › ~eptcs › paper › ICLP pdf
cgi.cse.unsw.edu.au
[12] Sandra Dylus, Jan Christiansen & Finn Teegen (2020): Implementing a Library for Probabilistic Program- ming Using Non-strict Non-determinism.
Implementing a Library for Probabilistic Programming Using Non ...search.proquest.com › openview › 1.pdf
search.proquest.com
· SANDRA DYLUS. University of Kiel, Kiel, Germany. (-kiel.de). JAN CHRISTIANSEN. Flensburg University of Applied ...
pflp - Curry Packagescpm.curry-lang.org › pkgs › pflp html
cpm.curry-lang.org
· 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