operational

MaRDI QIDQ53254swMATHFDO

Official website https://hackage.haskell.org/package/operational

Cited in

(4)

• Modular verification of programs with effects and effects handlers
• Coquet
• Rocksalt
• Kami

This page was built for software: operational