Observers for linear types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 582 LNCS, Issue , 1992, Pages 390-407

  Odersky, Martin ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FUNCTIONAL LANGUAGES; LINEAR TYPES; NON LINEAR; TYPE RECONSTRUCTION; TYPE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0005324590     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55253-7_23     Document Type: Conference Paper

References (24)

1. S. Abramsky. Computational interpretations of linear logic. Preprint, Imperial College, London, 1990.
2. H.G. Baker. Unify and conquer (garbage, updating, aliasing, …) in functional languages. In Proc. ACM Conf on LISP and Functional Programming, pages 218-226, June 1990.
3. A. Bloss. Update analysis and the efficient implementation of functional aggregates. In Proc. AGM Conf. on Functional Programming Languages and Computer Architecture, August 1989.
4. D. Clement, J. Despeyroux, T. Despeyroux, L. Hascoet, and G. Kahn. Natural semantics on the computer. Technical Report RR 416, INRIA, June 1985.
5. S. Cohen. Multi-version structures in prolog. In Proc. Conf on Fifth Generation Computer Systems, pages 265-274, 1984.
6. A. Deutsch. On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. In Proc 17th ACM Symposium on Principles of Programming Languages, Jan 1990.
7. M. Draghicescu and S. Puroshothaman. A compositional analysis of evaluation order and its application. In Proc. ACM Conf on Lisp and Functional Programming, June 1990.
8. J.C. Guzms and P. Hudak. Single-threaded polymorphie lambda calculus. In Proc 5th IEEE Syrup on Logic in Computer Science, June 1990.
9. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
10. K. Gharaehorloo, V. Sarkar, and J.L. Hennessy. A simple and efficient approach for single assignment languages. In Proc. ACM Conf on Lisp and Functional Programming, 1988.
11. P. Hudak. A semantic model of reference counting and its abstraction. In S. Abramsky and C. Hankin, editors, Abstract interpretation of declarative languages. Ellis Horwood Ltd., 1987.
12. P. Jouvelot and D.K. Gifford. Algebraic reconstruction of types and effects. In Proc 18th ACM Syrup on Principles of Programming Languages, pages 303-310, Jan. 1991.
13. Mark P. Jones. Towards a theory of qualified types. Technical Report PRG-TR-6-91, Oxford University Computing Laboratory, Oxford, UK, 1991.
14. Mark P. Jones. Type inference for qualified types. Technical Report PRG-TR-10-91, Oxford University Computing Laboratory, Oxford, UK, 1991.
15. Y. Lafont. The linear abstract machine. Theoretical Computer Science, 59:157-180, 1988.
16. J. Lucassen and D.K. Gifford. Polymorphic effect systems. In Proc 15th ACM Syrup on Principles of Programming Languages, pages 47-57, Jan. 1988.
17. A. Neirynk, P. Panangaden, and A. Demers. Computation of aliases and support sets. In Proc 14th ACM Syrup on Principles of Programming Languages, pages 274-283, Jan. 1987.
18. M. Odersky. How to make destructive updates less destructive. In Proc 18th ACM Syrup on Principles of Programming Languages, pages 25-36, Jan. 1991.
19. D.A. Schmidt. Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems, 5(2):299-310, 1985.
20. V. Swarup, U.S. Reddy, and E. Ireland. Assignments for applictive languages. In Proc. ACM Conf on Functional Programming Languages and Computer Architecture, August 1991.
21. J.-P. Talpin and P. Jouvelot. Type, effect and region reconstruction in polymorphic functional languages. In Workshop on Static Analysis of Equational, Functional, and Logic Programs, Bordeaux, Oct. 1991.
22. P. Wadler. Comprehending monaAs. In Proc ACM Conf on LISP and Functional Programming, pages 61-78, June 1990.
23. Phil Wadler. Linear types can change the world! In Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, pages 547-566, April 1990.
24. P. Wadler. Is there a use for linear logic? In Proc. ACM Syrup on Partial Evaluation and Semantic-Based Program Manipulation, pages 255-273, June 1991.