Kami
From MaRDI portal
Cited in
(14)- A formal equational theory for call-by-push-value
- Modular verification of programs with effects and effects handlers
- Coquet
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Safe functional systems through integrity types and verified assembly
- ModuRes
- Verilog
- UTPCalc
- Flicker
- Rocksalt
- Lava
- muFP
- operational
- FreeSpec
This page was built for software: Kami
