Nicola Mometto (https://twitter.com/Bronsa_) presents a talk on "The Kanren family of languages, a deep dive in μKanren" inspired by the paper "μKanren: A Minimal Functional Core for Relational Programming" by J. Hemann and D. P. Friedman. The paper is available here: http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
Kanren is a family of logic and relational programming language, the most known and used dialect is miniKanren, but several others exist.
In this talk we'll go over the history of the Kanren family and we'll dive into the elegant and beautiful implementation of μKanren, an intentionally minimal and compact kernel for Kanren dialects, implementing complete relational semantics in just over 50 lines of code.
Nicola Mometto is a software developer with interests in functional programming, languages (particularly LISPs) and compiler design. He has developed and maintained several widely used static analysis libraries for Clojure, and is a frequent contributor to the Clojure language. Currently he works at https://www.imandra.ai/ as a R&D engineer working mostly in OCaml at formally verifying financial algorithms.
PapersWeLove (http://paperswelove.org) London proudly brings to you the best papers every month! Please join us to read and discuss the most amazing ideas in computer science. We meet at ZPG (https://www.uswitch.com/about-us/contact-us/) offices near Tower Bridge (https://goo.gl/maps/qJXZek4fMNU2) with the following schedule:
• 6.30pm: networking, pizza and drinks.
• 7:00pm: presentation starts