How to design co-programs

Reference. How to design co-programs

Jeremy Gibbons · JFP · 2021 · program-calculation · PDF · DOI · pldb

The observation that program structure follows data structure is a key lesson in introductory programming: good hints for possible program designs can be found by considering the structure of the data concerned. In particular, this lesson is a core message of the influential textbook “How to Design Programs” by Felleisen, Findler, Flatt, and Krishnamurthi. However, that book discusses using only the structure of input data for guiding program design, typically leading towards structurally recursive programs. We argue that novice programmers should also be taught to consider the structure of output data, leading them also towards structurally corecursive programs.

Cite

Cite as @gibbons-2021-how (helia, typst) · \cite{gibbons-2021-how} (LaTeX)

BibTeX

bibtex · 1 line

@article{gibbons-2021-how, title={How to design co-programs}, volume={31}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796821000113}, DOI={10.1017/s0956796821000113}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={GIBBONS, JEREMY}, year={2021} }

hayagriva YAML (typst)

yaml · 14 lines

gibbons-2021-how:
  type: article
  title: How to design co-programs
  author: GIBBONS, JEREMY
  date: 2021
  url: http://dx.doi.org/10.1017/s0956796821000113
  serial-number:
    doi: 10.1017/s0956796821000113
    issn: 1469-7653
  parent:
    type: periodical
    title: Journal of Functional Programming
    publisher: Cambridge University Press (CUP)
    volume: 31

Download: gibbons-2021-how.bib · gibbons-2021-how.yml

Cited by (1)

Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes yang-2022-fantasticMPC · 2022

DOI · arXiv

Cites 16 works (0 here)

External (16)

Coding with asymmetric numeral systems (2019)
How to Design Programs (2018)
On teaching 'How to Design Programs': Observations from a newcomer (2014)
Program by Design (2009)
Metamorphisms: Streaming representation-changers (2007)
The structure and interpretation of the computer science curriculum (2004)
Arithmetic coding with folds and unfolds (2003)
JSP in perspective (2002)
How to Design Programs (first edition) (2001)
The Cathedral and the Bazaar (1999)
Virtual data structures (1993)
Functional programming with bananas, lenses, envelopes and barbed wire (1991)
Deforestation: Transforming programs to eliminate trees (1990)
Principles of Program Design (1975)
The Mythical Man-Month: Essays on Software Engineering (1975)
Notes on data structuring (1972)