Fast and loose reasoning is morally correct.

Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons

Browse the full POPL paper archive.