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

Comments on: Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun: Binding-Time Analysis for miniKanren https://www.coalg.org/tease-lp/2020/binding-time-analysis-for-minikanren/ TEASE-LP, 28 and 29 May 2020, Virtual Event Wed, 27 May 2020 21:03:53 +0000 hourly 1 https://wordpress.org/?v=6.1.1