@inproceedings{TorriniEtAl07,
  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.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Torrini, Paolo and L{\"u}th, Christpoh and Maeder, Christian and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2442659c53d136618601092e7f0041044/tillmo},
  booktitle = {Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings},
  editor = {Schneider, Klaus and Brandt, Jens},
  interhash = {41f62f7cdc0b0a4aca84c188fd3eca6b},
  intrahash = {442659c53d136618601092e7f0041044},
  keywords = {HOLCF Haskell Isabelle},
  pages = {178–193},
  pdfurl = {http://es.cs.uni-kl.de/TPHOLs-2007/proceedings/B-178.pdf},
  publisher = {Uni Kaiserslautern},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Translating Haskell to Isabelle},
  url = {http://es.cs.uni-kl.de/TPHOLs-2007/proceedings.html},
  year = 2007
}