21:57

miniKanren 2021 - A Complexity Study for Interleaving Search

ACM SIGPLAN

19:47

miniKanren 2021 - metaKanren: Towards a Metacircular Relational Interpreter

ACM SIGPLAN

16:51

miniKanren 2021 - A New Higher-order Unification Algorithm for λKanren

ACM SIGPLAN

41:50

miniKanren 2021 - Adventures in extending miniKanren

ACM SIGPLAN

21:07

miniKanren 2021 - Prolog-Style Meta-Programming miniKanren

ACM SIGPLAN

17:27

miniKanren 2021 - Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables

ACM SIGPLAN

21:19

miniKanren 2021 - Universal Quantification and Implication in miniKanren

ACM SIGPLAN

1:20:13

miniKanren 2021 - Relational Content Generation

ACM SIGPLAN

18:00

miniKanren 2021 - Relational Floating-Point Arithmetic

ACM SIGPLAN

6:08:26

miniKanren 2021- Full Workshop

ACM SIGPLAN