kirancodes.me
To Proof Maintenance & Beyond!

Theoretical Pearls

Chris Okasaki

Abstract

A combinator expression is flat if it can be written without parentheses, that is, if all applications nest to the left, never to the right. This note explores a simple method for flattening combinator expressions involving arbitrary combinators.

Related papers