[langsec-discuss] Security oriented language links (short)

Will Sargent 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...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20130723/97b2aa31/attachment.html>

More information about the langsec-discuss mailing list