http://wiki.erights.org/mediawiki/index.php?title=Static_Capabilities&action=history Revision history for this page on the wiki en MediaWiki 1.15.5-7 Thu, 14 May 2026 08:38:05 GMT http://wiki.erights.org/mediawiki/index.php?title=Static_Capabilities&diff=1612&oldid=prev http://wiki.erights.org/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://wiki.erights.org/wiki/Talk:Static_Capabilities