HALO

MaRDI QIDQ35703swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=2429121

Described by source

• HALO, Haskell to logic through denotational semantics

Cited in

(2)

• Coming to terms with quantified reasoning
• Verified characteristic formulae for CakeML

This page was built for software: HALO