Top New Trends Comments Past Ask Show Jobs

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

5 points·by dolia·28 วันที่ผ่านมา·0 comments

digitalcommons.chapman.edu

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1003&context=eecs_theses

0 comments

—

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers · HackerTrans