Machine Based on Linear Logic and Explicit Substitutions

Abstract

We present xLIN, a novel linear abstract machine that introduces no penalty in computing with non-linear resources, while computing with linear resources might, in principle, be as fast as a series of destructive updates. Garbage collection would not be required for linear objects, while still present for non-linear objects. We propose a weak calculus of… (More)

Topics

Cite this paper

@inproceedings{Alberti1998MachineBO, title={Machine Based on Linear Logic and Explicit Substitutions}, author={Francisco Alberti}, year={1998} }