Publication: Proceedings of the 2019 miniKanren and Relational Programming Workshop
Loading...
Open/View Files
Date
2019
Authors
Published Version
Published Version
Journal Title
Journal ISSN
Volume Title
Publisher
Computer Science Group, Harvard University
The Harvard community has made this article openly available. Please share how this access benefits you.
Citation
Byrd, William E., and Amin, Nada. 2019. Proceedings of the 2019 miniKanren and Relational Programming Workshop. Harvard Computer Science Group Technical Report TR-02-19.
Abstract
Description
Preface
This report aggregates the papers presented at the first miniKanren and Relational Programming Workshop, hosted on
August 2nd, 2019 in Berlin, Germany and co-located with the twenty-second International Conference on Functional
Programming.
The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational
(pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The
workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A
major goal of the workshop is to bring together researchers, implementors, and users from the miniKanren community,
and to share expertise and techniques for relational programming. Another goal for the workshop is to push the
state of the art of relational programming—for example, by developing new techniques for writing interpreters, type
inferencers, theorem provers, abstract interpreters, CAD tools, and other interesting programs as relations, which are
capable of being “run backwards,” performing synthesis, etc.
6 papers were submitted to the workshop, and each submission was reviewed by two to three members of the program
committee. After deliberation, all submissions were accepted to the workshop.
In addition to the six full papers presented
• William E. Byrd gave a morning tutorial on miniKanren,
• Daniel P. Friedman and William E. Byrd gave a closing Q&A with audience.
Thanks to all presenters, participants, and members of the program committee.
William E. Byrd & Nada Amin
Other Available Sources
Research Data
Keywords
Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material (LAA), as set forth at Terms of Service