Channels
random-encounters
in-germany
bot-dark-forest
of-ai
in-sf
in-london
in-ontario
in-seattle
in-socal
in-alberta
of-functional-programming
reading-together
wormholes
of-end-user-programming
in-israel
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-nyc
of-graphics
announcements
administrivia
two-minute-week
linking-together
Powered by
#linking-together
Title
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
Post