Advertisement

Computable data types

  • G. Comyn
  • G. Werner
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 74)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    SCOTT D., Outline of a mathematical theory of computation. Proc. 4th Ann. Princeton Conf. on Information Sciences and Systems, pp. 169–176.Google Scholar
  2. 2.
    SCOTT D., Data types as lattices. SIAM J. Computing, Vol. 5 Nr 3, September 1976.Google Scholar
  3. 3.
    LEHMANN D.J., SMYTH M.B., Data types. 18th Ann. Symp. Fondations of Computer Science, 1977, pp. 7–12.Google Scholar
  4. 4.
    SMYTH M.B., PLOTKIN G.D., The Category-Theoretic Solutions of Recursive Domain Equations. 18th Ann. Symp. Foundations of Computer Science, 1977, pp. 13–17.Google Scholar
  5. 5.
    THATCHER J.W., WAGNER E.G., WRIGHT J.B., Data Type Specification: Paramaterization and the Power of Specification Techniques. Proceedings of the Tenth Ann. ACM Symp. on Theory Computing 1978, pp. 119–132.Google Scholar
  6. 6.
    ERSHOV Ju.L., Theorie der Numerierungen I., Zeitschr. f. math. Logik und Grundlagen d. Math. Bd. 19 (1973), pp. 289–388.Google Scholar
  7. 7.
    ERSHOV Ju.L., Theorie der Numerierungen II, same Zeitschr. Bd 21 (1975), pp. 473–584.Google Scholar
  8. 8.
    MAYOH B.H., Data Types as Functions, Proceedings MFCS'78, Springer Lecture Notes in Computer Science pp. 56–70.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • G. Comyn
    • 1
  • G. Werner
    • 1
  1. 1.I.U.T. Departement InformatiqueUniversite de Lille-IVilleneuve D'ascqFrance

Personalised recommendations