Daniel P. Friedman -

Registered user since Mon 22 Aug 2016

Name:Daniel P. Friedman

Affiliation:Indiana University, USA

Contributions

miniKanren 2022	Author of Some criteria for implementations of conjunction and disjunction in microKanren within the miniKanren 2022-track
miniKanren 2021	Author of A New Higher-order Unification Algorithm for λKanren within the miniKanren 2021-track
miniKanren 2020	Author 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
miniKanren 2019	Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track
Scheme 2019	Steering Committee Member in Organizing Committee within the Scheme 2019-track
Scheme 2018	Committee Member in Steering Committee within the Scheme 2018-track
Scheme 2017	Committee Member in Steering Committee within the Scheme 2017-track
DLS 2016	Author of A Small Embedding of Logic Programming with a Simple Complete Search within the DLS-track