Witnessing side-effects

ACM SIGPLAN Notices

Volumn 40, Issue 9, 2005, Pages 105-115

  Terauchi, Tachio ^a   Aiken, Alex ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Stanford University   (United States)

Author keywords

Functional languages; Side effects

Indexed keywords

FUNCTIONAL LANGUAGES; PRAGMATIC MOTIVATION; SIDE EFFECTS;

ALGORITHMS; COMPUTER NETWORKS; COMPUTER PROGRAMMING; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745201221     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1090189.1086379     Document Type: Article

References (15)

1. P. Achten, J. H. G. van Groningen, and R. Plasmeijer. High level specification of I/O in functional languages. In Proceedings of the 1992 Glasgow Workshop on Functional Programming, pages 1-17. Springer-Verlag, 1993.
2. J. Boyland. Checking interference with fractional permissions. In R. Cousot, editor, Static Analysis, Tenth International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 55-72, San Diego, CA, June 2003. Springer-Verlag.
3. K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 262-275, San Antonio, Texas, Jan. 1999.
4. M. Fähndrich, J. S. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. In Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 85-96, Montreal, Canada, June 1998.
5. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002.
6. J. C. Guzman and P. Hudak. Single-threaded polymorphic lambda calculus. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 42-51, Philadelphia, Pennsylvania, June 1990.
7. S. L. P. Jones and P. Wadler. Imperative functional programming. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 71-84, Charleston, South Carolina, Jan. 1993.
8. J. Launchbury. A natural semantics for lazy evaluation. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 144-154, Charleston, South Carolina, Jan. 1993.
9. J. Launchbury and A. Sabry. Monadic state: Axiomatization of type safety. In Proceedings of the 1997 ACM SIGPLAN International Conference, on Functional Programming, pages 227-238, Amsterdam, The Netherlands, June 1997.
10. E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, 1991.
11. M. Odersky, D. Rabin, and P. Hudak. Call by name, assignment, and the lambda calculus. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 43-56, Charleston, South Carolina, Jan. 1993.
12. G. D. Plotkin. Call-by-name, call-by-value and the lambda-calculus. Theoretical Computer Science, 1:125-159, 1975.
13. T. Terauchi and A. Aiken. Witnessing side-effects. Technical report, Computer Science Division, EBCS Department, University of California, Berkeley.
14. M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value A-calculus using a stack of regions. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188-201, Portland, Oregon, Jan. 1994.
15. P. Wadler. Linear types can change the worldl In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, pages 63-74, Baltimore, Maryland, Sept. 1998.