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

16:40 - 17:50: Research Papers - Program Construction at L1
Chair(s): John HughesChalmers University of Technology
icfp-2017-papers150462240000016:40 - 17:03
Conal ElliottTarget, USA
icfp-2017-papers150462380000017:03 - 17:26
icfp-2017-papers150462520000017:26 - 17:50
Jeremy YallopUniversity of Cambridge, UK
DOI Pre-print