Shape in Computing

ACM Computing Surveys

Volumn 28, Issue 2, 1996, Pages 355-357

  Jay, C Barry ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0342841292     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/234528.234749     Document Type: Article

References (7)

1. BELLE, G., JAY, C. B., AND MOGGI, E. 1996. Functorial polymorphism. Submitted to Rewriting Techniques and Applications 96.
2. BARR, M. AND WELLS, C. 1990. Category Theory for Computing Science. Prentice-Hall, Engle-wood Cliffs, NJ.
3. DARLINGTON, J., GUO, Y., TO, H. W., AND YANG, J. 1995. Parallel skeletons for structured composition. In Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 1995.
4. HARPER, R. AND MORRISETT, G. 1995. Compiling polymorphism using intensional type analysis. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Francisco, CA, Jan.), 130-141.
5. JAY, C. B. 1995. A semantics for shape. Sci. Comput. Program. (in press).
6. JONES, M. P. 1995. A system of constructor classes: overloading and implicit higher-order polymorphism. J. Funct. Program. 5, (1).
7. LIEBERHERR, K. 1996. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Co., Boston, MA.