Skip to main content

How to Design Co−Programs

Jeremy Gibbons

Abstract

We accept that data structure determines program structure. But we should not forget that it is not just the input data that may be structured: output data may be structured too, and both may determine program structure.

Month
October
Year
2019