Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
ICFP 2020 (series) / Daniel P. Friedman

Registered user since Mon 22 Aug 2016

Name: Daniel P. Friedman

Affiliation: Indiana University, USA

Contributions

miniKanren 2020Author of Some Novel miniKanren Synthesis Tasks within the miniKanren 2020-track
Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track
Show activities from other conferences

Using general profile