Fast and Loose Reasoning is Morally Correct (2006)  (Make Corrections)  (2 citations) Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy GibbonsPOPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages   Home/Search   Context   Related

View or download: cs.chalmers.se/~na...alpopl2006.ps.gz Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  cs.chalmers.se/~nad/publicatio... (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@inproceedings{ danielssonetal06:fastandloose,
 author = {Nils Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
 title = {Fast and loose reasoning is morally correct},
 booktitle = {POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2006},
 isbn = {1-59593-027-2},
 pages = {206--217},
 location = {Charleston, South Carolina, USA},
 doi = {http://doi.acm.org/10.1145/1111037.1111056},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 url = {citeseer.ist.psu.edu/danielsson06fast.html} }