A survey by François Pottier, which links a number of concepts and clarifies a cluttered landscape. Spotted via LtU.
28.8.09
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.
Nice, but it seems to be somewhat incomplete. For example, there's no mention of the STPLC:
ReplyDeletehttp://dx.doi.org/10.1109/LICS.1990.113759