arity
Download:
|
|
by C. B. Jay
http://www-staff.socs.uts.edu.au:8080/~cbj/Publications/separating.ps.gz
Add To MetaCart
Abstract:
Shape theory [Jay95] gives a precise categorical account of how data is stored within data structures, or shapes. This separation of shape (of type S) and data (given by a list of A) can be represented by a pullback FA
Citations
| 195 | Adaptive Object-Oriented Software: the Demeter Method with Propagati on Patterns – Lieberherr - 1996 |
| 77 | Polytypic programming – Jeuring, Jansson - 1996 |
| 58 | A semantics for shape – Jay - 1995 |
| 26 | Functorial ML – Bell'e, Jay, et al. - 1996 |
| 19 | Shape checking of array programs – Jay, Sekanina - 1996 |
| 6 | Data categories – Jay - 1996 |
| 6 | Shaping object-oriented programs – Jay, Noble - 1996 |
| 2 | Shapely types and shape polymorphism: Extended version – Jay, Cockett - 1994 |
| 1 | Costing distribution of a parallel functional language – Jay, Cole, et al. - 1997 |
