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.
Subscribe to:
Post Comments (Atom)
1 comment:
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
Post a Comment