Blogs (28) >>
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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:00 - 14:30
Functional Programming TechniquesResearch Papers at L1
Chair(s): Graham HuttonUniversity of Nottingham
13:00
22m
Talk
Faster Coroutine Pipelines
Research Papers
Mike SpiveyUniversity of Oxford, UK
DOI
13:22
22m
Talk
A Pretty But Not Greedy Printer (Functional Pearl)
Research Papers
Jean-Philippe BernardyUniversity of Gothenburg
DOI
13:45
22m
Talk
Generic Functional Parallel Algorithms: Scan and FFT
Research Papers
Conal ElliottTarget, USA
DOI
14:07
22m
Talk
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
Research Papers
William E. ByrdUniversity of Utah, USA, Michael BallantyneUniversity of Utah, USA, Gregory Rosenblattn.n., n.n., Matthew MightUniversity of Utah, USA
DOI