%0 Conference Paper %1 conf/icfp/Moore02 %A Moore, J Strother %B ICFP %D 2002 %E Wand, Mitchell %E Jones, Simon L. Peyton %I ACM %K dblp %P 123 %T Functional formal methods. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#Moore02 %@ 1-58113-487-8

@inproceedings{conf/icfp/Moore02, added-at = {2021-07-07T00:00:00.000+0200}, author = {Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/21ec316a3dd453b5d09653d35ed456fa6/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2002}, editor = {Wand, Mitchell and Jones, Simon L. Peyton}, ee = {https://doi.org/10.1145/583852.581490}, interhash = {a532ae4c3bc8d617f2819eb2a33eec6f}, intrahash = {1ec316a3dd453b5d09653d35ed456fa6}, isbn = {1-58113-487-8}, keywords = {dblp}, note = {SIGPLAN Notices 37(9), September 2002}, pages = 123, publisher = {ACM}, timestamp = {2024-04-09T17:31:21.000+0200}, title = {Functional formal methods.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#Moore02}, year = 2002 }