Tony Finch's link log
2007-07-23: Tree pattern matching for ML.
(long)
(short)
(atom)
(wayback machine)