Alkemet News
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
(arxiv.org)
26
points
byJimmc414
4 days ago |
1
comment
Invalid date