54:07

Visser - Keynote - Executing Declarative Language Definitions

ACM SIGPLAN

13:59

Petr Lozov - On Fair Relational Conjunction

ACM SIGPLAN

15:29

Ekaterina Verbitskaia - An Empirical Study of Partial Deduction for miniKanren

ACM SIGPLAN

14:29

Raoul Schorer - MicroKanren in J

ACM SIGPLAN

16:59

Weixi Ma - λKanren: Higher-order Logic Programming with Shallow Embedding

ACM SIGPLAN

19:47

Maggesi and Nocentini - Kanren Light

ACM SIGPLAN

18:23

Dmitry Rozplokhas - Certified Semantics for Disequality

ACM SIGPLAN

22:34

Byrd - mediKanren: A System for Bio-medical Reasoning

ACM SIGPLAN

14:22

Dmitrii Kosarev - Relational Synthesis for Pattern Matching

ACM SIGPLAN

19:10

Hemann & Friedman - Some Novel miniKanren Synthesis Tasks

ACM SIGPLAN

13:51

Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript

ACM SIGPLAN

14:00

Steele - dxo: A System for Relational Algebra and Differentiation

ACM SIGPLAN