swMATH28645MaRDI QIDQ40359FDOQ40359
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=800055.802026
Cited In (9)
- Parallel algorithms development for programmable devices with application from cryptography
- \(\Pi\)-Ware: hardware description and verification in Agda
- Coquet
- A formal equational theory for call-by-push-value
- reFLect
- SyReC
- Lava
- Describing and Optimising Reversible Logic Using a Functional Language
- Proof producing synthesis of arithmetic and cryptographic hardware
This page was built for software: muFP
