%0 Conference Paper %1 conf/tphol/HuffmanMW05 %A Huffman, Brian %A Matthews, John %A White, Peter %B TPHOLs %D 2005 %E Hurd, Joe %E Melham, Thomas F. %I Springer %K dblp %P 147-162 %T Axiomatic Constructor Classes in Isabelle/HOLCF. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#HuffmanMW05 %V 3603 %@ 3-540-28372-2

@inproceedings{conf/tphol/HuffmanMW05, added-at = {2017-05-23T00:00:00.000+0200}, author = {Huffman, Brian and Matthews, John and White, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2fed20deb69cf3826a92155351a01ffe5/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2005}, editor = {Hurd, Joe and Melham, Thomas F.}, ee = {https://doi.org/10.1007/11541868_10}, interhash = {f66f477f1e6cca9f13bb26a3499332ac}, intrahash = {fed20deb69cf3826a92155351a01ffe5}, isbn = {3-540-28372-2}, keywords = {dblp}, pages = {147-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Axiomatic Constructor Classes in Isabelle/HOLCF.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#HuffmanMW05}, volume = 3603, year = 2005 }