The Boom Hierarchy (1993) [pdf]

citeseerx.ist.psu.edu

10 pointstheaeolist2 comments

Interesting stuff. Can anyone explain what "pair projection" mentioned in section 4.6 is? I've not heard the term, and neither has DuckDuckGo.

Projection functions for pairs, so first/second (i.e., (A, B) -> A, (A, B) -> B).