Static Capabilities

From Erights

Revision as of 01:06, 31 October 2007 by Markm (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

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.

Personal tools
more tools