[langsec-discuss] Security oriented language links (short)
will.sargent at gmail.com
Tue Jul 23 18:10:03 UTC 2013
So I was listening to a random podcast:
and apparently there are security oriented languages:
that have fancy type checkers to do more to ensure secure distributed programming:
and it looks fascinating.
Also reading up on object capability model and the Actor model -- I'm surprised it's not more popular.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the langsec-discuss