Accelerating Program Synthesis in miniKanren

From Basold H. Universiteit Leiden on 19-May-2020, 12:20 GMT+2