I have a PLT and verification background. I've worked on several domain-specific languages implemented in Haskell for ML and systems applications.