operational

swMATH37553MaRDI QIDQ53254FDOQ53254

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: operational