38:50

[miniKanren'23] klogic: miniKanren in Kotlin

ACM SIGPLAN

47:23

[miniKanren'23] Semi-Automated Direction-Driven Functional Conversion

ACM SIGPLAN

47:20

[miniKanren'23] Stable Model Semantics Extension of miniKanren

ACM SIGPLAN

45:05

[miniKanren'23] Goals as Constraints: Writing miniKanren Constraints in miniKanren

ACM SIGPLAN

1:26:29

[miniKanren'23] miniKanren: Discussion on the Future of miniKanren

ACM SIGPLAN

1:24:56

[miniKanren'23] miniKanren: Tutorial

ACM SIGPLAN