Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Mon 4 Sep 2017 14:07 - 14:30 at L1 - Functional Programming Techniques Chair(s): Graham Hutton

We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.

Mon 4 Sep

icfp-2017-papers
13:00 - 14:30: Research Papers - Functional Programming Techniques at L1
Chair(s): Graham Hutton
icfp-2017-papers150452280000013:00 - 13:22
Talk
DOI
icfp-2017-papers150452415000013:22 - 13:45
Talk
DOI
icfp-2017-papers150452550000013:45 - 14:07
Talk
DOI
icfp-2017-papers150452685000014:07 - 14:30
Talk
DOI