References

[LDG⁺02a]

Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. The Objective Caml system, documentation and user's manual. http://caml.inria.fr/ocaml/htmlman/, 2002.

[LDG⁺02b]

Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. The Objective Caml system, release 3.06. http://caml.inria.fr/, 2002.

[MNZZ01]

Andrew C. Myers, Nathaniel Nystrom, Lantian Zheng, and Steve Zdancewic. Jif: Java + information flow. http://www.cs.cornell.edu/jif/, September 2001.

[MTHM97]

Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.

[Mye99]

Andrew C. Myers. Mostly-Static Decentralized Information Flow Control. PhD thesis, Massachusetts Institute of Technology, January 1999. Technical Report MIT/LCS/TR-783. http://www.cs.cornell.edu/andru/release/tr783.ps.gz.

[PS02]

François Pottier and Vincent Simonet. Information flow inference for ML. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pages 319--330, Portland, Oregon, January 2002. ACM Press. http://cristal.inria.fr/~simonet/publis/fpottier-simonet-popl02.ps.gz.

[PS03]

François Pottier and Vincent Simonet. Information flow inference for ML. ACM Transactions on Programming Languages and Systems, 25(1):117--158, January 2003. http://cristal.inria.fr/~simonet/publis/fpottier-simonet-toplas.ps.gz.

[Sim02]

Vincent Simonet. Dalton, an efficient implementation of type inference with structural subtyping. http://cristal.inria.fr/~simonet/soft/dalton/, October 2002.

[Sim03]

Vincent Simonet. Type inference with structural subtyping: A faithful formalization of an efficient constraint solver. Submitted for publication. http://cristal.inria.fr/~simonet/publis/simonet-structural-subtyping.ps.gz , March 2003.