*Homepage:* http://www.docs.uu.se/~mikpe/ * PatternMatching * aTermPatternMatchCompilerInspiredByFiniteAutomataTheory ------ CategoryPeople