Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Thu 27 Aug 2020 13:10 - 13:30 at miniKanren - Morning Session Chair(s): Joseph P. Near, Gregory Rosenblatt

We present an extension of our prior work on certified semantics for core miniKanren, introducing disequality constraints in the language. Semantics is parameterized by an exact definition of constraint stores, allowing us to cover different implementations, and we provide a list of sufficient conditions on this definition for search completeness. We also give two examples of concrete implementations of constraint stores that satisfy those sufficient conditions. The description and proofs are partially certified in Coq and a correct-by-construction interpreter is extracted.

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

11:30 - 13:30
Morning SessionminiKanren at miniKanren
Chair(s): Joseph P. Near University of Vermont, Gregory Rosenblatt University of Alabama at Birmingham, USA
11:30
20m
Talk
On Fair Relational Conjunction
miniKanren
Petr Lozov Sain Petersburg State University, SPbGU, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
11:50
20m
Talk
An Empirical Study of Partial Deduction for miniKanren
miniKanren
Ekaterina Verbitskaia JetBrains, Daniil Berezun JetBrains, Russia, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication
12:10
20m
Talk
MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
miniKanren
Raoul Schorer Geneva University Hospitals
Link to publication
12:30
20m
Talk
λKanren: Higher-order Logic Programming with Shallow Embedding
miniKanren
Weixi Ma Indiana University, Kuang-Chen Lu Indiana University Bloomington, Daniel P. Friedman Indiana University, USA
Link to publication
12:50
20m
Talk
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
miniKanren
Marco Maggesi Università di Firenze, Massimo Nocentini Università di Firenze
Link to publication
13:10
20m
Talk
Certified Semantics for Disequality
miniKanren
Dmitry Rozplokhas Higher School of Economics, Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
Link to publication