There is an implementation of Haskell for the JVM[1], although I don't know how much its implementation has in common with the techniques discussed in this thesis.

[1]: https://eta-lang.org/