HybCore

MaRDI QIDQ55105swMATHFDO

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