22 Jan
2007
22 Jan
'07
4:46 p.m.
Just a quick note In the very first example (function f), the comment should say "f [n]" insteand of "f [x]" In the related work, the "Active Patterns" proposal by Palao et at is missing: http://portal.acm.org/citation.cfm?id=232641&coll=portal&dl=ACM I thought this work should be included in the list because, I believe, they were the first to point out that computation should take place before matching, which was not the case in Wadler's and Burton's proposals? They also proposed types for patterns.