Hacker News Reader

He has spent the last 30 years since publishing more papers on compiling functional languages.

Mostly related to adding new features to Haskell and GHC, not on compiling functional languages in general.

Now functional logic languages like Verse, that is definitely new material.

That's selling him very short. I would say most of his papers are applicable to functional programming in general and not just Haskell.

Only for those that understand functional programming as whatever Haskell does.