Login / Signup
An Empirical Study of Partial Deduction for miniKanren.
Ekaterina Verbitskaia
Daniil Berezun
Dmitry Boulytchev
Published in:
VPT@ETAPS (2021)
Keyphrases
</>
partial deduction
logic programs