Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
digitalcommons.chapman.edu
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
1–1 of 1 posts
1–1 of 1 posts
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
digitalcommons.chapman.edu