Static enforcement of security with types

14 years 4 months ago

A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac

Christian Skalka, Scott F. Smith

ICFP 2000 | Programming Languages | Security Systems |

claim paper

Added	01 Aug 2010
Updated	01 Aug 2010
Type	Conference
Year	2000
Where	ICFP
Authors	Christian Skalka, Scott F. Smith

Comments (0)