Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel P. Friedman
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
SPLASH 2016 profile
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
Share
x
Thu 23 Mar 12:20