Pointwise Relational Programming
The point-free relational calculus has been very successful as a language for discussing general programming principles. However, when it comes to specific applications, the calculus can be rather awkward to use: some things are more clearly and simply expressed using variables. The combination of v...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2000
|