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.

Conference Day
Thu 27 Aug

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

11:30 - 13:30
Morning SessionminiKanren at miniKanren
Chair(s): Joseph P. NearUniversity of Vermont, Gregory RosenblattUniversity of Alabama at Birmingham, USA
11:30
20m
Talk
On Fair Relational Conjunction
miniKanren
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
11:50
20m
Talk
An Empirical Study of Partial Deduction for miniKanren
miniKanren
Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
12:10
20m
Talk
MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
miniKanren
Raoul SchorerGeneva University Hospitals
Pre-print
12:30
20m
Talk
λKanren: Higher-order Logic Programming with Shallow Embedding
miniKanren
Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA
Pre-print
12:50
20m
Talk
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
miniKanren
Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze
Pre-print
13:10
20m
Talk
Certified Semantics for Disequality
miniKanren
Dmitry RozplokhasHigher School of Economics, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print