Are you aware of /The Implementation of Functional Programming Languages/ by Simon Peyton Jones, the main person behind the front end of the GHC Haskell Compiler? The full book is available free on his web site as PDF:

https://www.microsoft.com/en-us/research/publication/the-imp...

It has two chapters on pattern matching, two chapters on type checking, and several chapters related to execution.

I have not read it.