Past Meetup

Nicola Mometto on "The Kanren family of languages, a deep dive in μKanren"

This Meetup is past

53 people went

uSwitch

The Cooperage, 5 Copper Row, London, SE1 2LH · London

How to find us

Use Copper Row pedonal path, enter the little square with the mermaid fountain and search the stairs with the ZPG sign.

Location image of event venue

Details

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

Abstract

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.

The Speaker

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.

The meetup

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