Is there a use for linear logic?

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Past attempts to apply Girard’s linear logic have either had a clear relation to the theory (Lafont, Holmström, Abramsky) or a clear practical value (Guzmán and Hudak, Wadler), but not both. This paper defines a sequence of languages based on linear logic that span the gap between theory and practice. Type reconstruction in a linear type system can derive information about sharing. An approach to linear type reconstruction based on use types is presented. Applications to the array update problem are considered.
Original languageEnglish
Title of host publicationProceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Pages255-273
Number of pages19
DOIs
Publication statusPublished - 1 May 1991

Fingerprint Dive into the research topics of 'Is there a use for linear logic?'. Together they form a unique fingerprint.

Cite this