A Case Study in Functional Conversion and Mode Inference in miniKanren.

Ekaterina Verbitskaia, Igor Engel, Daniil Berezun

Browse the full PEPM paper archive.