- The Science of Deep Specification https://deepspec.org/main 9 comments programming
- Core Spec http://www.deepspec.org/research/haskell/ 6 comments haskell
Linking pages
- GitHub - LeifAndersen/PLGradSchools https://github.com/LeifAndersen/PLGradSchools 2 comments
- Synthesizing Neurosymbolic Programs | SIGPLAN Blog https://blog.sigplan.org/2020/04/15/synthesizing-neurosymbolic-programs/ 0 comments
- GitHub - antalsz/hs-to-coq: Convert Haskell source code to Coq source code https://github.com/antalsz/hs-to-coq 0 comments