20:08

[miniKanren'22] Fail Fast and Profile On: Towards a miniKanren Profiler

ACM SIGPLAN

25:51

[miniKanren'22] Efficient Variational Inference in miniKanren with Weighted Model Countin...

ACM SIGPLAN

21:35

[miniKanren'22] Wildcard Logic Variables

ACM SIGPLAN

43:40

[miniKanren'22] Relational Interpreteres, Conversion, and Synthesis

ACM SIGPLAN

25:38

[miniKanren'22] A Tutorial Reconstruction of miniKanren with constraints

ACM SIGPLAN