• 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

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
xSat 14 Jun 10:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up