Skip to main content
SpringerLink
Log in

Separating shape from data

  • Conference paper
  • First Online:
Book cover Category Theory and Computer Science (CTCS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1290))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. G. Bellé, C. B. Jay, and E. Moggi. Functorial ML. In PLILP '96, volume 1140 of LNCS, pages 32-46. Springer Verlag, 1996. TR SOCS-96.08.

    Google Scholar 

  2. C.B. Jay. A semantics for shape. Science of Computer Programming, 25:251–283, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  3. C.B. Jay. Data categories. In M.E. Houle and P. Eades, editors, Computing: The Australasian Theory Symposium Proceedings, Melbourne, Australia, 29–30 January, 1996, volume 18, pages 21–28. Australian Computer Science Communications, 1996. ISSN 0157-3055.

    Google Scholar 

  4. C.B. Jay and J.R.B. Cockett. Shapely types and shape polymorphism: Extended version. Technical Report UTS-SOCS-94-??, University of Technology, Sydney, 1994.

    Google Scholar 

  5. C.B. Jay, M.I. Cole, M. Sekanina, and P. Steckler. Costing distribution of a parallel functional language, 1997. accepted as distinguished paper for Europar'97.

    Google Scholar 

  6. C.B. Jay and J. Noble. Shaping object-oriented programs. Technical report, UTS, 1996.

    Google Scholar 

  7. C.B. Jay and M. Sekanina. Shape checking of array programs. Technical Report 96.09, University of Technology, Sydney, 1996.

    Google Scholar 

  8. J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced Functional Programming, Second International School, pages 68–114. Springer-Verlag, 1996. LNCS 1129.

    Google Scholar 

  9. Karl Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing Sciences, University of Technology, Broadway, P.O. Box 123, 2007, Sydney, NSW, Australia

    C. B. Jay

Authors
  1. C. B. Jay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eugenio Moggi Giuseppe Rosolini

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jay, C.B. (1997). Separating shape from data. In: Moggi, E., Rosolini, G. (eds) Category Theory and Computer Science. CTCS 1997. Lecture Notes in Computer Science, vol 1290. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026980

Download citation

  • DOI: https://doi.org/10.1007/BFb0026980

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63455-3

  • Online ISBN: 978-3-540-69552-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation