Fast and loose reasoning is morally correct
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning. Two languages are defined, one total and one partial, with identical syntax. The semantics of the partial l...
Main Authors: | Danielsson, N, Hughes, J, Gibbons, J, Jansson, P |
---|---|
Format: | Conference item |
Published: |
2006
|
Similar Items
-
Fast and Loose Reasoning is Morally Correct
by: Danielsson, N, et al.
Published: (2006) -
Fast and loose reasoning is morally correct
by: Danielsson, N, et al.
Published: (2006) -
Watercolour fast and loose /
by: 443102 Ranson, Ron
Published: (1993) -
The psychology of moral reasoning
by: Monica Bucciarelli, et al.
Published: (2008-02-01) -
The psychology of moral reasoning
by: Monica Bucciarelli, et al.
Published: (2008-02-01)