Shin-Cheng Mu and Tsung-Ju Chiang. To appear in Journal of Functional Programming.
Given a string of parentheses, the task is to find a longest consecutive segment that is properly bracketed. We find it an interesting problem because it involves two techniques: the usual approach for solving segment problems, and the converse-of-a-function theorem — through which we derived an instance of shift-reduce parsing.