Uniqueness logic

Theoretical Computer Science

Volumn 354, Issue 1, 2006, Pages 24-41

  Harrington, Dana ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Category theory; Functional programming; Linear logic; Semantics; Type systems

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES;

CATEGORY THEORY; FUNCTIONAL PROGRAMMING; TYPE SYSTEMS; UNIQUENESS LOGIC;

COMPUTER SCIENCE;

EID: 33644603801     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.11.006     Document Type: Conference Paper

References (18)

1. S. Abramsky, S. Gay, R. Nagarajan, Specification structures and propositions-as-types for concurrency, in: G. Birtwistle, F. Moller (Eds.), Logics for Concurrency: Structure vs. Automata - Proc. VIIIth Banff Higher Order Workshop, Lecture Notes in Computer Science, Springer, Berlin, 1996.
2. E. Barendsen, and J.E.W. Smetsers Conventional and uniqueness typing in graph rewrite systems Proc. 13th Conf. Foundations of Software Technology and Theoretical Computer Science 1993 Bombay 1993 Springer New York URL citeseer.nj.nec.com/barendsen93conventional.html
3. E. Barendsen, and S. Smetsers A derivation system for uniqueness typing Proceedings of SEGRAGRA '95 1995 Elsevier Amsterdam
4. T. Brus, M. van Eekelen, M. van Leer, M. Plasmeijer, CLEAN: a language for functional graph rewriting, in: G. Kahn (Ed.), Proc. Conf. Functional Programming Languages and Computer Architecture (FPCA'87), Portland, Oregon, USA, Lecture Notes in Computer Science, vol. 274, Springer, Berlin, Germany, 1987.
5. B. Day, On closed categories of functors, in: S. MacLane (Ed.), Reports of the Midwest Category Seminar, Lecture Notes in Mathematics, vol. 137, Springer, Berlin, 1970.
6. Y.-J. Girard Linear logic Theoret. Comput. Sci. 50 1987 1 102
7. J.C. Guzmán, P. Hudak, Single-threaded polymorphic lambda calculus, in: IEEE Sympos. Logic in Computer Science, 1990.
8. D. Harrington, A type system for destructive updates in declarative programming languages, Master's thesis, University of Calgary, 2001.
9. S.M. Lane, and I. Moerdijk Sheaves in Geometry and Logic: A First Introduction to Topos Theory 1992 Springer New York, NY
10. S. MacLane Categories for the Working Mathematician second ed. 1998 Springer New York, NY
11. E. Manes Algebraic Theories 1976 Springer Berlin
12. E. Moggi Notions of computation and monads Inform. and Comput. 93 1 1991 55 92 URL citeseer.nj.nec.com/moggi89notions.html
13. P. O'Hearn, D. Pym, The logic of bunched implications, Bull. Symbolic Logic 5 (2).
14. M. Plasmeijer, M. van Eekelen, Concurrent Clean 1.2 Language Report, University of Nijmegen, The Netherlands, 1997.
15. I. Stark, Names and higher-order functions, Ph.D. thesis, Queens' College, University of Cambridge, April 1995.
16. P. Wadler Linear types can change the world! M. Broy C. Jones Programming Concepts and Methods 1990 North Holland Sea of Galilee, Israel (iFIP TC 2 Working Conference)
17. P. Wadler, Is there a use for linear logic? in: ACM Conf. Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut, 1991.
18. K. Wansbrough, and S.P. Jones Once upon a polymorphic type Proc. 26th ACM SIGPLAN-SIGACT Sympos. Principles of Programming Languages 1999 ACM Press 15 28