1 paper
Martin Erwig, Hangil Kim
We present the design of a language extension that allows the use of ellipses ("...") in patterns and expressions, which facilitates function definitions on lists that are more suc…