A unified system of parameterization for programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A unified system of parameterization for programming languages

Full text

Pdf (1.06 MB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1988 ACM conference on LISP and functional programming table of contents

Snowbird, Utah, United States

Pages: 316 - 326

Year of Publication: 1988

ISBN:0-89791-273-X

Author

John Lamping

Stanford University

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 19, Citation Count: 7

Additional Information:

references cited by index terms 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/62678.62724 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.

	BL84	R. Burstall , B. Lampson, A kernel language for abstract data types and modules., Proc. of the international symposium on Semantics of data types, p.1-50, July 1984, Sophia-Antipolis, France
	Bog83	Richard Bogen. Macsyma Reference Manual. The Mathlab Group, l'~aboratory for Computer Science, MIT, January 1983.
	GH76	R.E. Griswold and D. R. Hanson. An Overview of the SL5 Programming Language. Technical Report S5LD1A, University of Arizona, 1976.
	GJL87	D. Gelernter , S. Jagannathan , T. London, Environments as first class objects, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.98-110, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41634]
	Gri83	Ralph E. Griswold , Madge T. Griswold, ICON Programmng Language, Prentice Hall Professional Technical Reference, 1983
	Gri84	Ralph E. Griswold, Expression evaluation in the icon programming language, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.177-183, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802034]
	Lam88	John Ogden Lamping , Terry Winograd, A unified system of parameterization for programming languages, 1988
	RC86	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986 [doi>10.1145/15042.15043]
	Sto81	Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1981

CITED BY 7

	Shinn-Der Lee , Daniel P. Friedman, Quasi-static scoping: sharing variable bindings across multiple lexical scopes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.479-492, March 1993, Charleston, South Carolina, United States
	Christian Queinnec , David de Roure, Sharing code through first-class environments, ACM SIGPLAN Notices, v.31 n.6, p.251-261, June 15, 1996
	Shinn-Der Lee , Daniel P. Friedman, Enriching the lambda calculus with contexts: toward a theory of incremental program construction, ACM SIGPLAN Notices, v.31 n.6, p.239-250, June 15, 1996
	Ron Goldman , Richard P. Gabriel, Qlisp: Parallel Processing in Lisp, IEEE Software, v.6 n.4, p.51-59, July 1989
	Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994
	Jacques Garrigue , Hassan Aït-Kaci, The typed polymorphic label-selective λ-calculus, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.35-47, January 16-19, 1994, Portland, Oregon, United States
	Aleksandar Nanevski, From dynamic binding to state via modal possibility, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.207-218, August 27-29, 2003, Uppsala, Sweden