Wadler's Blog: Wandering through linear types, capabilities, and regions

Wandering through linear types, capabilities, and regions

A survey by François Pottier, which links a number of concepts and clarifies a cluttered landscape. Spotted via LtU.

# posted by Philip Wadler @ 1:21 PM

Comments:

Nice, but it seems to be somewhat incomplete. For example, there's no mention of the STPLC:

http://dx.doi.org/10.1109/LICS.1990.113759

# posted by

Anonymous : 6/9/09 5:05 AM