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