core.logic.nominal

A session at Clojure/West 2013

[This session is part of the miniKanren Confo colocated with Clojure/West.]

Nominal logic simplifies reasoning about scope and binding, so that implementing interpreters and type inferencers is almost as easy as on paper. Inspired by alphaKanren, we embed nominal logic programming into Clojure. Unlike alphaKanren, which is incompatible with cKanren, core.logic.nominal extends core.logic. In this talk, I will introduce the core.logic.nominal primitives (fresh, tie, hash), show some examples (quine generator, typed lambda calculus, theorem prover) and highlight our implementation.

About the speaker

This person is speaking at this event.
Nada Amin

Sign in to add slides, notes or videos to this session

Tell your friends!

When

Date Tue 19th March 2013

Where

Sequoia II, Marriot Courtyard City Center

Short URL

lanyrd.com/sccgpf

Official session page

clojurewest.org/…amin

View the schedule

Share

Topics

See something wrong?

Report an issue with this session