Shape in computing
- 1 June 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (2) , 355-357
- https://doi.org/10.1145/234528.234749
Abstract
S is already built [Jay95]using a categorical pullback to capture the decomposition.The mere existence of the decomposition may sometimes be of use. For example,graph types are fundamental, but typically hidden by encodings, e.g. assparse arrays, when they should be manipulated directly, by both the programmerand the compiler. Another example arises when communicating a valuealong a channel. By sending the shape first, the receiver can fix the data structure,including pointers, etc.,...Keywords
This publication has 3 references indexed in Scilit:
- Functorial MLPublished by Springer Nature ,1996
- A semantics for shapeScience of Computer Programming, 1995
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995