%0 Conference Paper %1 conf/sfp/ProcterHS12 %A Procter, Adam M. %A Harrison, William L. %A Stump, Aaron %B Trends in Functional Programming %D 2012 %E Loidl, Hans-Wolfgang %E Peña, Ricardo %I Springer %K dblp %P 117-132 %T The Design of a Practical Proof Checker for a Lazy Functional Language. %U http://dblp.uni-trier.de/db/conf/sfp/tfp2012.html#ProcterHS12 %V 7829 %@ 978-3-642-40446-7

@inproceedings{conf/sfp/ProcterHS12, added-at = {2017-05-26T00:00:00.000+0200}, author = {Procter, Adam M. and Harrison, William L. and Stump, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/2a9d4938e891185a96de72a2b08cfdbed/dblp}, booktitle = {Trends in Functional Programming}, crossref = {conf/sfp/2012}, editor = {Loidl, Hans-Wolfgang and Peña, Ricardo}, ee = {https://doi.org/10.1007/978-3-642-40447-4_8}, interhash = {f9632205f4c3c1956da04642988d10ce}, intrahash = {a9d4938e891185a96de72a2b08cfdbed}, isbn = {978-3-642-40446-7}, keywords = {dblp}, pages = {117-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:41:25.000+0200}, title = {The Design of a Practical Proof Checker for a Lazy Functional Language.}, url = {http://dblp.uni-trier.de/db/conf/sfp/tfp2012.html#ProcterHS12}, volume = 7829, year = 2012 }