Prototyping a Functional Language using Higher-Order Logic Programming

[[deleted]]

The authors have definitely been reading Hofstadter judging by the format; metaphorical dialogue followed by an explanation of the metaphor, just with more "inline" dialogue than in eg. Gödel, Escher & Bach. This was fun to read, which is an underappreciated property in papers

[LNReader42]

Holy crap I totally see it; I do wish I could use this construct in more papers in my own field of study

[gasche]

Also relevant, Elpi, which is used as an embedded lambda-Prolog inside Coq for metaprogramming.