The more commonly cited paper is the Wadler paper[1]. It's the backbone of Prettier. Although tbh it's a little hard to decode the semantics of the Wadler paper

The more commonly cited paper is the Wadler paper[1]. It's the backbone of Prettier. Although tbh it's a little hard to decode the semantics of the Wadler paper into a more conventional language because of Haskell's laziness. Stuff like union is implicitly lazy in the paper which can trip you up. Also while the core semantics are (basically) the same in the Wadler paper and Prettier, there's a thick layer of special cases that allows Prettier to actually print stuff in a human readable way. Turns out there's a lot more than just math when it comes to readability. [1]: https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf https://homepages.inf.ed.ac.uk/wadler/papers/prettier/pretti...