Papers We Love

52 readers

23 users here now

Use this community to share or discuss academic computer science papers. Some examples of allowable subject matter: software engineering, theoretic computer science, IT security. That's so broad as to be useless for most people in ordinary circumstances, but lemmy is so small at the time of writing this that it's not likely to be a problem.

The community's name has been lifted from the name of the conference but isn't affiliated. Posts of videos from the conference you think worthy of attention are welcome.

founded 1 week ago

MODERATORS

eah@programming.dev

µKanren: a minimal functional core for relational programming (2013) (webyrd.net)

submitted 1 week ago by Corbin@programming.dev to c/PapersWeLove@programming.dev

0 comments fedilink hide all child comments

This paper presents µKanren, a minimalist language in the miniKanren family of relational (logic) programming languages. Its implementation comprises fewer than 40 lines of Scheme. We motivate the need for a minimalist miniKanren language, and iteratively develop a complete search strategy. Finally, we demonstrate that through suffcient user-level features one regains much of the expressiveness of other miniKanren languages. In our opinion its brevity and simple semantics make μKanren uniquely elegant.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here