ICFP 2023 (series) / Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 (series) / Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 /
A New Standard ML Prettyprinter Library, An Experience Report
This talk presents a new design for a Standard ML prettyprinter library based on a synthesis of ideas from PPML (Prettyprinter Meta Language) and the “algebraically derived” prettyprinter libraries of Hughes and Wadler. It provides a simple, easy to use model of prettyprinting based on an intermediate data structure called a format. It is implemented as a set of modules programmed in a strict, purely functional style.
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30 | ML Workshop: Session 2Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Oleg Kiselyov Tohoku University | ||
11:00 30mTalk | A New Standard ML Prettyprinter Library, An Experience Report Higher-order, Typed, Inferred, Strict: ML Family Workshop David MacQueen University of Chicago (Emeritus) | ||
11:30 30mTalk | Exploring Perceus For OCaml Higher-order, Typed, Inferred, Strict: ML Family Workshop Pre-print | ||
12:00 30mTalk | Immutable Arrays Help Mutating Arrays More Efficiently Higher-order, Typed, Inferred, Strict: ML Family Workshop Sven-Bodo Scholz Heriot-Watt University | ||