A New Higher-order Unification Algorithm for λKanren (miniKanren 2021)

Sun 22 - Sat 28 August 2021

Who

Weixi Ma, Daniel P. Friedman

Track

miniKanren 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 26 Aug 2021 21:05 - 21:30 at miniKanren - Session A Chair(s): William E. Byrd

Abstract

lambdaKanren, adapted from lambdaProlog, extends miniKanren with the higher-order logic programming. The existing higher-order unification algorithms, however, are not sound nor complete w.r.t. an intuitive understanding of alpha-equivalence. This paper shows these gaps and proposes a new method to handle alpha-equivalence in higher-order unification.

Link to Preprint

http://minikanren.org/workshop/2021/minikanren-2021-final8.pdf

Weixi Ma

Daniel P. Friedman

Indiana University, USA

miniKanren 2021 - A New Higher-order Unification Algorithm for λKanren