Integrating functional and imperative programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Integrating functional and imperative programming

Full text

Pdf (900 KB)

Source

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

Cambridge, Massachusetts, United States

Pages: 28 - 38

Year of Publication: 1986

ISBN:0-89791-200-4

Authors

David K. Gifford	MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, Massachusetts
John M. Lucassen	MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, Massachusetts

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 64, Citation Count: 42

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/319838.319848 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.

	Ada80	Reference Manual for the Ads Programming Language, U.S. Dept. of Defense, GPO 008-(g)0-0035408 (10so)
	Backus78	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
	Cardelli86	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	Gordon79	Michael J. C. Gordon, Robin Milner, Christopher Wadsworth, Edinburgh LCF, Lecture Notes in Computer Science no. 78 (1979)
	Gurd85	J. R Gurd , C. C Kirkham , I. Watson, The Manchester prototype dataflow computer, Communications of the ACM, v.28 n.1, p.34-52, Jan. 1985 [doi>10.1145/2465.2468]
	Henderson80	Peter Henderson, Functional Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1980
	Lampson78	B. W. Lampson, J. J. Homing, Ralph L. London, J. G. Mitchell, G. J. Popek, Revised Report on the Programming Language Euclid, Xerox Technical Center TR CSL-78-2 (1978)
	Liskov79	B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
	Marti80	Jed B. Marti, Compilation techniques for a control-flow concurrent LISP system, Proceedings of the 1980 ACM conference on LISP and functional programming, p.203-207, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802807]
	Marti83	Jed Marti , John Fitch, The Bath concurrent LISP machine, Proceedings of the European Computer Algebra Conference on Computer Algebra, p.78-90, March 28-30, 1983
	Milner84	Robin Milner, A proposal for standard ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.184-197, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802035]
	Mitchell85	John C. Mitchell , Gordon D. Plotkin, Abstract types have existential types, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.37-51, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318606]
	Morris82	James H. Morris Jr., Real Programming in Functional Languages, in Darlington (Ed.), Functional Programming and it~ Applications (1982), pp. 129-176
	Reynolds74	John C. Reynolds, Towards a theory of type structure, Programming Symposium, Proceedings Colloque sur la Programmation, p.408-423, April 09-11, 1974
	Reynolds78	John C. Reynolds, Syntactic control of interference, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.39-46, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512766]
	Steele78	Guy L. Steele, Jr., Rabbit: A Compiler for Scheme, Massachusetts Institute of Technology, Cambridge, MA, 1978

CITED BY 42

	John Launchbury , Simon L. Peyton Jones, Lazy functional state threads, ACM SIGPLAN Notices, v.29 n.6, p.24-35, June 1994
	David Walker , Kevin Watkins, On regions and linear types (extended abstract), ACM SIGPLAN Notices, v.36 n.10, October 2001
	Philip Wadler, The marriage of effects and monads, ACM SIGPLAN Notices, v.34 n.1, p.63-74, Jan. 1999
	J. M. Lucassen , D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.47-57, January 10-13, 1988, San Diego, California, United States
	Xavier Leroy, Polymorphism by name for references and continuations, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.220-231, March 1993, Charleston, South Carolina, United States
	Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France
	Andrei V. Klimov, Dynamic specialization in extended functional language with monotone objects, ACM SIGPLAN Notices, v.26 n.9, p.199-210, Sept. 1991
	Aaron Greenhouse , William L. Scherlis, Assuring and evolving concurrent programs: annotations and policy, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	A. Neirynck , A. J. Demers, Computation of aliases and support sets, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.274-283, January 21-23, 1987, Munich, West Germany
	Laurie J. Hendren , Alexandru Nicolau, Intererence analysis tools for parallelizing programs with recursive data structures, Proceedings of the 3rd international conference on Supercomputing, p.205-214, June 05-09, 1989, Crete, Greece
	Simon L. Peyton Jones , Philip Wadler, Imperative functional programming, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.71-84, March 1993, Charleston, South Carolina, United States
	Karl Crary , David Walker , Greg Morrisett, Typed memory management in a calculus of capabilities, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.262-275, January 20-22, 1999, San Antonio, Texas, United States
	David L. Heine , Monica S. Lam, A practical flow-sensitive and context-sensitive C and C++ memory leak detector, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Philip Wadler , Peter Thiemann, The marriage of effects and monads, ACM Transactions on Computational Logic (TOCL), v.4 n.1, p.1-32, January 2003
	Fritz Henglein , Henning Makholm , Henning Niss, A direct approach to control-flow sensitive region-based memory management, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.175-186, September 05-07, 2001, Florence, Italy
	Edward A. Lee , Thomas M. Parks, Dataflow process networks, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	G. M. Bierman, Formal semantics and analysis of object queries, Proceedings of the 2003 ACM SIGMOD international conference on Management of data, June 09-12, 2003, San Diego, California
	David Walker , Karl Crary , Greg Morrisett, Typed memory management via static capabilities, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.4, p.701-771, July 2000
	Philip Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 19-22, 1992, Albuquerque, New Mexico, United States
	Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989
	Andrew D. Gordon , Alan Jeffrey, Authenticity by typing for security protocols, Journal of Computer Security, v.11 n.4, p.451-519, 01/01/2004
	Andrew D. Gordon , Alan Jeffrey, Typing correspondence assertions for communication protocols, Theoretical Computer Science, v.300 n.1-3, p.379-409, 07 May 2003
	Simon Helsen , Peter Thiemann, Polymorphic specialization for ML, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.4, p.652-701, July 2004
	Derek Dreyer, Recursive type generativity, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Gary T. Leavens , Yoonsik Cheon , Curtis Clifton , Clyde Ruby , David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005
	DEREK DREYER, Recursive type generativity, Journal of Functional Programming, v.17 n.4-5, p.433-471, July 2007
	Gary T. Leavens , Albert L. Baker , Clyde Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
	Catherine Dubois , François Rouaix , Pierre Weis, Extensional polymorphism, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.118-129, January 23-25, 1995, San Francisco, California, United States
	David L. Heine , Monica S. Lam, Static detection of leaks in polymorphic containers, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Shawn Outman, Identifying task-level parallelism by functional transformation with side-effect domains, Proceedings of the 47th Annual Southeast Regional Conference, March 19-21, 2009, Clemson, South Carolina
	Nick Benton , Andrew Kennedy , Lennart Beringer , Martin Hofmann, Relational semantics for effect-based program transformations with dynamic allocation, Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming, July 14-16, 2007, Wroclaw, Poland
	Simon Helsen, Bisimilarity for the Region Calculus, Higher-Order and Symbolic Computation, v.17 n.4, p.347-394, December 2004
	Jacek Passia , Klaus-Peter Löhr, Fips: a functional-imperative language for explorative programming, ACM SIGPLAN Notices, v.28 n.5, p.39-48, May 1993
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993
	Silvano Dal Zilio , Andrew D. Gordon, Region analysis and a π-calculus with groups, Journal of Functional Programming, v.12 n.3, p.229-292, May 2002
	Jurriaan Hage , Stefan Holdermans , Arie Middelkoop, A generic usage analysis with subeffect qualifiers, ACM SIGPLAN Notices, v.42 n.9, September 2007
	David Aspinall , Martin Hofmann , Michal KoneČnÝ, A type system with usage aspects, Journal of Functional Programming, v.18 n.2, p.141-178, March 2008
	Aleksandar Nanevski , Greg Morrisett , Avraham Shinnar , Paul Govereau , Lars Birkedal, Ynot: dependent types for imperative programs, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Jack Jansen , Dick C.A. Bulterman, Enabling adaptive time-based web applications with SMIL state, Proceeding of the eighth ACM symposium on Document engineering, September 16-19, 2008, Sao Paulo, Brazil
	Daniel Marino , Todd Millstein, A generic type-and-effect system, Proceedings of the 4th international workshop on Types in language design and implementation, January 24-24, 2009, Savannah, GA, USA
	Jack Jansen , Dick C. Bulterman, SMIL State: an architecture and implementation for adaptive time-based web applications, Multimedia Tools and Applications, v.43 n.3, p.203-224, July 2009
	Tristan Crolard , Emmanuel Polonowski , Pierre Valarcher, Extending the loop language with higher-order procedural variables, ACM Transactions on Computational Logic (TOCL), v.10 n.4, p.1-37, August 2009

Collaborative Colleagues:

David K. Gifford: colleagues

John M. Lucassen: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player