https://futureofcoding.org/ logo
k

Kartik Agaram

02/23/2023, 6:15 AM
This minikanren paper is excellent: "A Unified Approach to Solving Seven Programming Problems (Functional Pearl)" https://dl.acm.org/doi/pdf/10.1145/3110252 Found via William Byrd's recent talk about ongoing work: https://fosdem.org/2023/schedule/event/reflexiveinterpreters