%0 Conference Paper %1 TorriniEtAl07 %A Torrini, Paolo %A Lüth, Christpoh %A Maeder, Christian %A Mossakowski, Till %B Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings %D 2007 %E Schneider, Klaus %E Brandt, Jens %I Uni Kaiserslautern %K HOLCF Haskell Isabelle %P 178–193 %T Translating Haskell to Isabelle %U http://es.cs.uni-kl.de/TPHOLs-2007/proceedings.html %X 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.

@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 }