http://50.77.162.165/mediawiki/index.php?title=Static_Capabilities&action=history Revision history for this page on the wiki en MediaWiki 1.15.5-7 Sat, 25 Apr 2026 00:19:07 GMT http://50.77.162.165/mediawiki/index.php?title=Static_Capabilities&diff=1612&oldid=prev http://50.77.162.165/mediawiki/index.php?title=Static_Capabilities&diff=1612&oldid=prev <p></p> <p><b>New page</b></p><div>[http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities] by Oleg Kiselyov and Chung-chieh Shan shows how to use a Hindley-Milner type system in order to do static reasoning about some safety properties in languages such as ML and Haskell.<br /> <br /> <br /> [[Category:Formal Reasoning]]</div> Wed, 31 Oct 2007 01:06:49 GMT Markm http://50.77.162.165/wiki/Talk:Static_Capabilities