Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Tue 5 Sep 2017 17:26 - 17:50 at L1 - Program Construction Chair(s): John Hughes

Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads.

This leaves programmers with the regrettable choice between writing succinct but slow programs and writing tedious but efficient programs.

Applying structured multi-stage programming techniques transforms Scrap Your Boilerplate from an inefficient library into a typed optimising code generator, bringing its performance in line with hand-written code, and so combining high-level programming with uncompromised performance.

Tue 5 Sep

Displayed time zone: Belfast change

16:40 - 17:50
Program ConstructionResearch Papers at L1
Chair(s): John Hughes Chalmers University of Technology
16:40
23m
Talk
Compiling to Categories
Research Papers
Conal Elliott Target, USA
DOI
17:03
23m
Talk
Visitors Unchained
Research Papers
François Pottier Inria, France
DOI
17:26
23m
Talk
Staged Generic Programming
Research Papers
Jeremy Yallop University of Cambridge, UK
DOI Pre-print