Rust claims to advance industrial programming by bridging the gap between low-level
systems programming and high-level application programming. At the heart of the argument …

Past attempts to apply Girard's linear logic have either had a clear relation to the theory
(Lafont, Holmstr6m, Abramsky) or a clear practical value (Guzmiin and Hudak, Wadler), but …

Many functional programming languages rely on the elimination of 'impure'features:
assignment to variables, exceptions and even input/output. But some of these are genuinely …

Linear logic has been proposed as one solution to the problem of garbage collection and
providing efficient" update-in-place" capabilities within a more functional language. Linear …

Programming languages should have'use-once'variables in addition to the usual'multiple-
use'variables.'Use-once'variables are bound to linear (unshared, unaliased, or singly …

The need to reverse a computation arises in many contexts—debugging, editor undoing,
optimistic concurrency undoing, speculative computation undoing, trace scheduling …

Two different operational interpretations of intuitionistic linear logic have been proposed in
the literature. The simplest interpretation recomputes non-linear values every time they are …

We take Abramsky's term assignment for Intuitionistic Linear Logic (the linear term calculus)
as the basis of a functional programming language. This is a language where the …

We propose a theoretical framework for adding assignments and dynamic data to functional
languages without violating their semantic properties. This differs from semifunctional …

While the linear style can help organize and reduce reference count updating, it does not
eliminate the updating tha t results from simple traversal. Thus, a linear length function will …