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.

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
 
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?