Developer conference3-6 NovemberMalmö Sweden

Sessions - Øredev 2015

WED

16.40 - 17.20

From Functions to Relations in miniKanren

Level: Advanced

We will give a tour of functional and relational interpreters in

Scheme and the logic-programming language miniKanren. We will begin with a traditional interpreter for a Scheme-like language in Scheme, and will ultimately develop an interpreter for the same language in miniKanren. The latter will run forward for values, backward for expressions, and will synthesize programs that are difficult to believe.

Other sessions - Daniel Friedman

Other sessions - Jason Hemann

Partners

Best companies

Jayway

ØREDEV was founded in 2005 by Jayway, a company comprised of and focused on specialists within IT. Øredev inherited this company's vision and philosophy.