HybCore

swMATH39405MaRDI QIDQ55105FDOQ55105

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2009.14322

Described by source

• Implementing hybrid semantics: from functional to imperative

Cited In (2)

• GHCi
• UTop

This page was built for software: HybCore