Recursively defined data types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Recursively defined data types: part 1

Full text

Pdf (714 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages table of contents

Boston, Massachusetts

Pages: 125 - 138

Year of Publication: 1973

Authors

C. H. Lewis	IBM Thomas J. Watson Research Center, Yorktown Heights, New York
B. K. Rosen	IBM Thomas J. Watson Research Center, Yorktown Heights, New York

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 13, Citation Count: 5

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/512927.512939 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Van Wijngaarden, A. (Editor), Mailloux, B. J., Peck, J. E. L. and Koster, C. H. A., Report on the Algorithmic Language ALGOL 68, Numer. Math. 14 (1969) 79-218.
	2	Wegbreit, B., Studies in Extensible Programming Languages, Ph. D. Thesis, Harvard University, 1970.
	3	BASEL Language Programmer Manual, Massachusetts Computer Associates, Inc., Wakefield, Massachusetts, 1970.
	4	Koster, C. H. A., "On Infinite Modes", ALGOL Bulletin 30 in SIGPLAN Notices, Vol. 4, No. 3, March 1969.
	5	Jorrand, P. and Hammer, M. M., The Formal Definition of BASEL - Part I, Massachusetts Computer Associates, Inc., Wakefield, Massachusetts, 1970.
	6	Scott, D., "The Lattice of Flow Diagrams", in Semantics of Algorithmic Languages, Edited by E. Engeler, Springer Lecture Notes Series, Springer Verlag, Heidelberg, 1970.
	7	Tarjan, R., Depth-first Search and Linear Graph Algorithms, SIAM J. Computing 1 (1972), 146-160.
	8	J. Kral, The Equivalence of Modes and the Equivalence of Finite Automata, ALGOL Bulletin [doi>10.1145/1061623.1061632]
	9	Rosen, B. K. and Lewis, C. H., Recursively Defined Data Types, Part 2, IBM Research Report, in preparation.
	10	Auslander, M., Goldberg, R., Harrison, W., Lewis, C., Lomet, D., and Oden, P., "The CTL Storage Model", IBM Research Report RC 4075, Yorktown Heights, N.Y., 1972.

CITED BY 5

	J. A. Goguen , J. W. Thatcher , E. G. Wagner , J. B. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of the ACM (JACM), v.24 n.1, p.68-95, Jan. 1977
	Marvin Solomon, Type definitions with parameters, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.31-38, January 23-25, 1978, Tucson, Arizona
	Marvin Solomon, Modes, values and expressions, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.149-159, January 20-22, 1975, Palo Alto, California
	G. Markowsky , B. K. Rosen, Bases for chain-complete posets, IBM Journal of Research and Development, v.20 n.2, p.138-147, March 1976
	D. B. Lomet, Objects and values: the basis of a storage model for procedural languages, IBM Journal of Research and Development, v.20 n.2, p.157-167, March 1976

Collaborative Colleagues:

C. H. Lewis: colleagues

B. K. Rosen: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player