• Sign in
  • Sign up
conf.researchr.org / Daniel P. Friedman
  • 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
xThu 23 Mar 12:20
using conf.researchr.org (v1.59.1)
Support page
Sign Up