Sandra Dylus und Finn Teegen - Info zur Person

(1 - 12 von 12

)

‹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 ...

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.

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

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.

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

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.

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.

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

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 Finn Teegen Person-Info