I'm working on adding pattern matching to Irken. Digging through the OCaml source, I found a reference to this little gem:
"The Implementation of Functional Programming Languages" (Simon Peyton Jones, published by Prentice Hall, 1987.)
The book is available for free here: http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/
Chapters 4 and 5 cover exactly what I need for pattern matching - in fact, it appears that their algorithm transforms a set of patterns into a tree of 'case' statements where their 'case' construct exactly matches my current 'vcase'. Nice!
How is it that after so many years of trudging through this space, I never knew about this book?