Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun: Binding-Time Analysis for miniKanren

We present a binding-time analysis algorithm for miniKanren. It is capable to determine the order in which names within a program are bound and can be used to facilitate specialization and as a step of conversion into a functional language.

Forum Video Full Abstract

Leave a comment