Is there a use for linear logic?

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

Abstract / Description of output

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
Number of pages19
Publication statusPublished - 1 May 1991


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

Cite this