Abstract
We present partial translations of Haskell programs to Isabelle
that have been implemented as part of the Heterogeneous Tool
Set. The the target logic is Isabelle/HOLCF, and the translation is based on a shallow embedding approach.
Users
Please
log in to take part in the discussion (add own reviews or comments).