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

This paper proposes a new specification of pretty printing which is stronger than the state of the art: we require the output to be the shortest possible, and we also offer the ability to align sub-documents at will. We argue that our specification precludes a greedy implementation. Yet, we provide an implementation which behaves linearly in the size of the output. The derivation of the implementation demonstrates functional programming methodology.

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