Comments on: type safety is not security http://coder.cl/2012/10/type-safety-is-not-security/ web developer & system programmer Wed, 17 Oct 2012 11:33:51 +0000 hourly 1 http://wordpress.org/?v=3.4.2 By: compiler flags for correctness | coder . cl http://coder.cl/2012/10/type-safety-is-not-security/#comment-496 compiler flags for correctness | coder . cl Fri, 05 Oct 2012 10:52:32 +0000 http://coder.cl/?p=2840#comment-496 [...] I have discussed on a previous blog post, static typing helps on correctness by providing well-typed programs through type checking [...] [...] I have discussed on a previous blog post, static typing helps on correctness by providing well-typed programs through type checking [...]

]]>