Naoki Kobayashi  Home/Search
Context Related
| yl.is.s.utokyo.ac.jp/~k...popl99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kb.cs.titech.ac.jp...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Linear types (types of values that can be used just once) have been drawing a great deal of attention because they are useful for memory management, in-place update of data structures, etc.: an obvious advantage is that a value of a linear type can be immediately deallocated after being used. However, the linear types have not been applied so widely in practice, probably because linear values (values of linear types) in the traditional sense do not so often appear in actual programs. In order... (Update)
Cited by: More
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
Unknown - Expansion Variables For (Correct)
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
Similar documents (at the sentence level):
75.4%: Quasi-Linear Types - Kobayashi (1999) (Correct)
Active bibliography (related documents): More All
0.2: A Type System for Bounded Space and Functional in-Place Update - Hofmann (2000) (Correct)
0.2: A type system for bounded space and functional in-place update.. - Hofmann (2000) (Correct)
0.2: In-place update with linear types or How to compile functional.. - Hofmann (Correct)
Similar documents based on text: More All
0.3: A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2001) (Correct)
0.3: Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1996) (Correct)
0.3: A Partially Deadlock-free Typed Process Calculus (II) - Kobayashi (1997) (Correct)
Related documents from co-citation: More All
28: Linear types can change the world - Wadler - 1990
23: Once upon a type - Turner, Wadler et al. - 1995
18: Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
BibTeX entry: (Update)
N. Kobayashi. Quasi-Linear Types. In ACM Symposium on Principles of Programming Languages, 1999. http://citeseer.ist.psu.edu/article/kobayashi99quasilinear.html More
@inproceedings{ kobayashi99quasilinear,
author = "Naoki Kobayashi",
title = "Quasi-Linear Types",
booktitle = "Conference Record of {POPL} 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas",
address = "New York, NY",
pages = "29--42",
year = "1999",
url = "citeseer.ist.psu.edu/article/kobayashi99quasilinear.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
982 Theoretical Computer Science (context) - Girard - 1987
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
86 A Partially Deadlock-free Typed Process Calculus - Kobayashi - 1996
86 A partially deadlock-free typed process calculus - Kobayashi - 1998
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
83 From region inference to von neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
81 Once upon a type - Turner, Wadler et al. - 1995
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994
61 Conventional and uniqueness typing in graph rewrite systems - Barendsen, Smetsers - 1993
47 Lilac : A functional programming language based on linear lo.. (context) - Mackie - 1994
36 School of Computer Science (context) - Morrisett, Types - 1995
34 Department of Computer Science (context) - Birkedal, Rothwell et al. - 1993
32 Single-threaded polymorphic lambda calculus (context) - Guzm'an, Hudak - 1990
19 Implementing the call-byvalue lambda-calculus using a stack .. (context) - Tofte, Talpin - 1994
15 Lively linear lisp -- look ma (context) - Baker - 1992
14 Type-based analysis of usage of communication channels for c.. (context) - Igarashi, Kobayashi - 1997
14 Observers for linear types - Odersky - 1992
10 Type-based analysis of usage of values for concurrent progra.. - Igarashi - 1997
6 A linear logic quicksort - Baker - 1994
1 Department of Information Science (context) - Kobayashi, Technical - 1998
1 Concurrent Clean ver (context) - Plasmeijer, van Eekelen - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kb.cs.titech.ac.jp/~kobayasi/publications.html): More
Time Regions and Effects for Resource Usage Analysis - Kobayashi (2003) (Correct)
Type-Based Information Flow Analysis for Low-Level Languages - Kobayashi, Shirane (2002) (Correct)
Distributed Concurrent Linear Logic Programming - Kobayashi, Shimizu, Yonezawa (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC