linear type - 1. Linear types are related to the linear logic of J.-Y Girard. They extend Schmidt's notion of single threading, provide an alternative to Hudak and Bloss' update analysis, and offer a practical complement to Lafont and Holmstrรถm's elegant linear languages. ['Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading, Henry Baker. ftp://ftp.netcom.com/pub/hb/hbaker/Use1Var.html]. ["Linear types can change the world!", Philip Wadler, "Programming Concepts and Methods", April 1990, eds. M. Broy, C. Jones, pub. North-Holland, IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel]. |

Browse

Linear differential equation

linear equation

linear function

Linear Graph Notation

linear leaf

linear logic

linear map

linear measure

Linear numbers

linear operator

linear perspective

Linear problem

linear programming

linear regression

linear space

linear transformation

**-- linear type --**

linear unit

Linear-shaped

Linearensate

linearise

linearity

linearize

Linearly

Lineary

Lineate

Lineation

Lineature

linebacker

linebacker blitzing

linecut

lined

Lined gold

linear equation

linear function

Linear Graph Notation

linear leaf

linear logic

linear map

linear measure

Linear numbers

linear operator

linear perspective

Linear problem

linear programming

linear regression

linear space

linear transformation

linear unit

Linear-shaped

Linearensate

linearise

linearity

linearize

Linearly

Lineary

Lineate

Lineation

Lineature

linebacker

linebacker blitzing

linecut

lined

Lined gold