I investigated pattern matching compilation in a first paper PILP90 where recursive patterns à la Lisp were handled. I then wrote a book (in French) le Filtrage: une application de (et pour) Lisp that covers these topics. The final chapter explained this compilation technique for Common Lisp. Ce livre en français est maintenant épuisé et ne sera pas republié, ses 140 pages sont donc disponibles sur le réseau gratuitement !
Alas, least than one year after, Jean-Marie Geffroy and I came to an improved technique using intelligent backtrack that completely overpasses the previous one as can be seen in WSA92.
