PLunch: A unified approach to solving seven programming problems (functional pearl)
Phil Nguyen
Abstract
Weekly PL reading group discussing the paper "A unified approach to solving seven programming problems (functional pearl)". Discussion will be led by Phil Nguyen. Paper available at https://dl.acm.org/citation.cfm?id=3110252
We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
This talk is organized by Sankha Narayan Guria