Sciweavers

Share
PEPM
2016
ACM

Staging generic programming

3 years 12 days ago
Staging generic programming
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 unfortunate choice of writing succinct but slow programs or writing tedious but efficient programs. We show how to systematically transform an implementation of the Scrap Your Boilerplate library in the multi-stage programming language MetaOCaml to eliminate the overhead, making it possible to combine the benefits level abstract programming with the efficiency of low-level code.
Jeremy Yallop
Added 08 Apr 2016
Updated 08 Apr 2016
Type Journal
Year 2016
Where PEPM
Authors Jeremy Yallop
Comments (0)
books