Cited in
(9)- \(\Pi\)-Ware: hardware description and verification in Agda
- Parallel algorithms development for programmable devices with application from cryptography
- Coquet
- Describing and Optimising Reversible Logic Using a Functional Language
- reFLect
- SyReC
- Lava
- A formal equational theory for call-by-push-value
- Proof producing synthesis of arithmetic and cryptographic hardware
This page was built for software: muFP
