Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
digitalcommons.chapman.edu