This transcript of Roger Hui's talk casts more light on the general idea: http://archive.vector.org.uk/trad/v094/hui094_85.pdf http://archive.vector.org.uk/trad

This transcript of Roger Hui's talk casts more light on the general idea: http://archive.vector.org.uk/trad/v094/hui094_85.pdf http://archive.vector.org.uk/trad/v094/hui094_85.pdf It's interesting that what he calls "Parsing" is more typically known as term reduction by pattern matching in the functional world.