Quasi-linear types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Quasi-linear types

Full text

Pdf (2.19 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Antonio, Texas, United States

Pages: 29 - 42

Year of Publication: 1999

ISBN:1-58113-095-3

Author

Naoki Kobayashi

Department of Information Science, University of Tokyo

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 29, Citation Count: 18

Additional Information:

references cited by index terms 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/292540.292546 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	Henry G. Baker, Lively linear Lisp: “look ma, no garbage!”, ACM SIGPLAN Notices, v.27 n.8, p.89-98, Aug. 1992 [doi>10.1145/142137.142162]
	2	Henry G. Baker, A “linear logic” Quicksort, ACM SIGPLAN Notices, v.29 n.2, p.13-18, Feb. 1994 [doi>10.1145/181748.181750]
	3	Erik Barendsen , Sjaak Smetsers, Conventional and Uniqueness Typing in Graph Rewrite Systems, Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, p.41-51, December 15-17, 1993
	4	L. Birkedal, N. Rothwell, M. Tofte, and D. N. Turner. The ML Kit (Version 1). Technical Report 93/14, Department of Computer Science, University of Copenhagen, 1993.
	5	Lars Birkedal , Mads Tofte , Magnus Vejlstrup, From region inference to von Neumann machines via region representation inference, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237771]
	6	Jean-Yves Girard, Linear logic, Theoretical Computer Science, v.50 n.1, p.1-102, Jan. 30, 1987 [doi>10.1016/0304-3975(87)90045-4]
	7	J. G. Guzmhn and P. Hudak. Single-threaded polymorphic lambda calculus. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 333-343, 1990.
	8	A. Igarashi. Type-based analysis of usage of values for concurrent programming languages. Master's thesis, Department of Information Science, University of Tokyo, 1997.
	9	Atsushi Igarashi , Naoki Kobayashi, Type-Based Analysis of Communication for Concurrent Programming Languages, Proceedings of the 4th International Symposium on Static Analysis, p.187-201, September 08-10, 1997
	10	N. Kobayashi. A Partially Deadlock-free Typed Process Calculus (I) - A Simple System-. Technical Report 96-02, Department of Information Science, University of Tokyo, September 1996.
	11	Naoki Kobayashi, A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.2, p.436-482, March 1998 [doi>10.1145/276393.278524]
	12	N. Kobayashi. Quasi-linear typesTechnical Report 98-02, Department of Information Science, University of Tokyo, 1998. Available through http://ww~, yl. is. s.u-tokyo, ac. jp/'koba /publications. html.
	13	Naoki Kobayashi , Benjamin C. Pierce , David N. Turner, Linearity and the pi-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.358-371, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237804]
	14	I. Mackie. Lilac : A functional programming language based on linear logic. Journal of Functional Programming, 4(4):1-39, October 1994.
	15	Robin Milner , Mads Tofte , David Macqueen, The Definition of Standard ML, MIT Press, Cambridge, MA, 1997
	16	G. Morrisett. Compiling with Types. PhD thesis, School of Computer Science, Carnegie Mellon University, 1995.
	17	Greg Morrisett , Matthias Felleisen , Robert Harper, Abstract models of memory management, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.66-77, June 26-28, 1995, La Jolla, California, United States [doi>10.1145/224164.224182]
	18	Martin Odersky, Observers for linear types, Symposium proceedings on 4th European symposium on programming, p.390-407, January 1992, Rennes, France
	19	R. Plasmeijer and M. van Eekelen. Concurrent Clean ver.l.3 language report, 1997.
	20	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 [doi>10.1145/174675.177855]
	21	Andrew Tolmach, Tag-free garbage collection using explicit type parameters, Proceedings of the 1994 ACM conference on LISP and functional programming, p.1-11, June 27-29, 1994, Orlando, Florida, United States
	22	David N. Turner , Philip Wadler , Christian Mossin, Once upon a type, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.1-11, June 26-28, 1995, La Jolla, California, United States [doi>10.1145/224164.224168]

CITED BY 18

	David Walker , Kevin Watkins, On regions and linear types (extended abstract), ACM SIGPLAN Notices, v.36 n.10, October 2001
	Viktor Kuncak , Patrick Lam , Martin Rinard, Role analysis, ACM SIGPLAN Notices, v.37 n.1, p.17-32, Jan. 2002
	Atsushi Igarashi , Naoki Kobayashi, Resource usage analysis, ACM SIGPLAN Notices, v.37 n.1, p.331-342, Jan. 2002
	Naoki Kobayashi, A type system for lock-free processes, Information and Computation, v.177 n.2, p.122-159, 15 September 2002
	Martin Hofmann , Steffen Jost, Static prediction of heap space usage for first-order functional programs, ACM SIGPLAN Notices, v.38 n.1, p.185-197, January 2003
	Leaf Petersen , Robert Harper , Karl Crary , Frank Pfenning, A type theory for memory allocation and data layout, ACM SIGPLAN Notices, v.38 n.1, p.172-184, January 2003
	Atsushi Igarashi , Naoki Kobayashi, A generic type system for the Pi-calculus, ACM SIGPLAN Notices, v.36 n.3, p.128-141, March 2001
	Luís Lopes , Vasco T. Vasconcelos , Fernando Silva, Fine-Grained Multithreading with Process Calculi, IEEE Transactions on Computers, v.50 n.8, p.852-862, August 2001
	Oukseh Lee , Kwangkeun Yi, Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs, Proceedings of the 4th international symposium on Memory management, October 24-25, 2004, Vancouver, BC, Canada
	Atsushi Igarashi , Naoki Kobayashi, Resource usage analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.2, p.264-313, March 2005
	Amal Ahmed , Matthew Fluet , Greg Morrisett, A step-indexed model of substructural state, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Futoshi Iwama , Atsushi Igarashi , Naoki Kobayashi, Resource usage analysis for a functional language with exceptions, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Wei-Ngan Chin , Siau-Cheng Khoo , Shengchao Qin , Corneliu Popeea , Huu Hai Nguyen, Verifying safety policies with size properties and alias controls, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Oukseh Lee , Hongseok Yang , Kwangkeun Yi, Static insertion of safe and effective memory reuse commands into ML-like programs, Science of Computer Programming, v.58 n.1-2, p.141-178, October 2005
	David Aspinall , Adriana Compagnoni, Heap-Bounded Assembly Language, Journal of Automated Reasoning, v.31 n.3-4, p.261-302, 2003
	Manuel Montenegro , Ricardo Peña , Clara Segura, A type system for safe memory management and its proof of correctness, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	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