ICFP 2024 (series) / miniKanren 2024 (series) /
miniKanren 2024 Program
This is the miniKanren 2024 program - see the full program for ICFP 2024 and all affiliated events.
Filter Program
Dates
Fri 6 Sep 2024
Rooms
Meeting 3
Tracks
miniKanren
Badges
in-person
remote
Your Program
Nothing to filter
Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mKeynote | High-Performance Logic Programming on Servers, Clusters, and GPUsin-person miniKanren |
11:00 - 12:30 | |||
11:00 30mTalk | Relational Reactive Programming: miniKanren for the Webremote miniKanren | ||
11:30 30mTalk | To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decisionin-person miniKanren | ||
12:00 30mTalk | Six Ways to Implement Divisibility by Three in miniKanrenin-person miniKanren Pre-print |
14:00 - 15:30 | |||
14:00 60mKeynote | Hosted miniKanren: Reconciling Optimizing Compilation and Extensibilityin-person miniKanren | ||
15:00 30mTalk | typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskellremote miniKanren Pre-print |
16:00 - 17:30 | |||
16:00 30mTalk | Improving stableKanren’s Backward Compatibilityin-person miniKanren | ||
16:30 30mTalk | A Relational Solver for Constraint-based Type Inferenceremote miniKanren |