Transformations and reduction strategies for typed lambda expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Transformations and reduction strategies for typed lambda expressions

Full text

Pdf (1.74 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 6 , Issue 4 (October 1984) table of contents
Lecture notes in computer science Vol. 174

Pages: 603 - 631

Year of Publication: 1984

ISSN:0164-0925

Author

Michael Georgeff

SRI International

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 21, Citation Count: 4

Additional Information:

references cited by index terms review 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/1780.1803 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	John Allen, Anatomy of LISP, McGraw-Hill, Inc., New York, NY, 1978
	2	Egidio Astesiano , Gerardo Costa, Languages with Reducing Reflective Types, Proceedings of the 7th Colloquium on Automata, Languages and Programming, p.38-50, July 14-18, 1980
	3	Henry G. Baker, Jr., Shallow binding in Lisp 1.5, Communications of the ACM, v.21 n.7, p.565-569, July 1978 [doi>10.1145/359545.359566]
	4	Daniel G. Bobrow , Ben Wegbreit, A model and stack implementation of multiple environments, Communications of the ACM, v.16 n.10, p.591-603, Oct. 1973 [doi>10.1145/362375.362379]
	5	BURGE, W.H. Recursive Programming Techniques. Addison-Wesley, Reading, Mass., 1975.
	6	BURSTALL, R.M., COLLINS, J.S., AND POPPLESTONE, R.J. Programming in POP-2. Edinburgh University Press, Edinburgh, Scotland, 1971.
	7	EDDY, G.J., AND GEOR(~EFF, M.P. The implementation of higher-order functions in PASCAL. Computer Science Tech. Rep. TR 33, Monash University, Clayton, Victoria, Australia, 1983.
	8	FODERADO, J.K. The FRANZ LISP manual, opus 33b. University of California, Berkeley, Calif., 1980.
	9	GEORGEFF, M.P. Higher-order functions in PASCAL. In Proceedings of the 4th Australian Computer Science Conference (Brisbane, Australia), 1981.
	10	M. P. Georgeff, A scheme for implementing functional values on a stack machine, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.188-195, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802149]
	11	GEOg(~EFF, M.P., AND BODNAR, S. A simple and efficient implementation of FUNARGS in LISP. AI Center Tech. Note, SRI international, Menlo Park, Calif., 1984.
	12	GEOR(~E~, M.P., AND EDDY, G.J. Functional PASCAL: An extension of PASCAL to higherorder functions. Computer Science Tech. Rep. TR 27, Monash University, Clayton, Victoria, Australia, 1982.
	13	Peter Henderson, Functional Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1980
	14	LANDIN, P. The mechanical evaluation of expressions. Computer Journal 6, 4 (1964), 308-320.
	15	P. J. Landin, A correspondence between ALGOL 60 and Church's Lambda-notations: Part II, Communications of the ACM, v.8 n.3, p.158-167, March 1965 [doi>10.1145/363791.363804]
	16	L~NoS~.Y, C.H., AND VAN OER MEULEN, S.G. Informal Introduction to ALGOL-80. North- Holland, New York, 1971.
	17	Drew McDermott, An efficient environment allocation scheme in an interpreter for a lexically-scoped LISP, Proceedings of the 1980 ACM conference on LISP and functional programming, p.154-162, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802801]
	18	Joel Moses, The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problem, ACM SIGSAM Bulletin [doi>10.1145/1093410.1093411]
	19	NORI, K., AMMAN, U., JENSEN, K., NAGELI, H., AND JACOBI, C. The Pascal P-compiler implementation notes. 1976.
	20	Guy L Steele, Debunking the ``Expensive Procedure Call'''' Myth or, Procedure Call Implementations Considered Harmful or, LAMDBA: The Ultimate GOTO, Massachusetts Institute of Technology, Cambridge, MA, 1977
	21	TOVaETZS:Y. A summary of MAC-LiSP and other documentation provided by M.I.T. with the MAC-LISP system. Massachusetts Institute of Technology, Cambridge, Mass., 1979.
	22	Peter. Wegner, Programming Languages, Information Structures, and Machine Organization., McGraw Hill Text, 1968

CITED BY 4

	Hanne Riis Nielson , Flemming Nielson, Transformations on higher-order functions, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.129-143, September 11-13, 1989, Imperial College, London, United Kingdom
	Mads Tofte , Jean-Pierre Talpin, Implementation of the typed call-by-value λ-calculus using a stack of regions, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.188-201, January 16-19, 1994, Portland, Oregon, United States
	Hanne R. Nielson , Flemming Neilson, Semantics directed compiling for functional languages, Proceedings of the 1986 ACM conference on LISP and functional programming, p.249-257, August 1986, Cambridge, Massachusetts, United States
	Flemming Nielson , Hanne Rus Nielson, Comments on Georgeff's “transformations and reduction strategies for typed lambda expressions”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.406-407, July 1986

INDEX TERMS

Classification:
D. Software
D.1 PROGRAMMING TECHNIQUES
D.3 PROGRAMMING LANGUAGES

F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.1 Mathematical Logic
Subjects: Lambda calculus and related systems

General Terms:
Design, Languages, Performance, Theory

REVIEW

"John L. Lowther : Reviewer"

Georgeff's paper describes some schemes by which function-valued expressions under static scoping can be efficiently evaluated using a variant of SECD machines, as well as stack machines. One SECD variant transforms expressions into simple forms more...

Collaborative Colleagues:

Michael Georgeff: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player