Typechecker for a type and effect system for access control

Ankica Barisic,

URL	http://ctp.di.fct.unl.pt/PLASTIC/index.php?option=com_content&view=article&id=7&Itemid=12
Date	01/01/2009

prototypes