Flow Caml in a Nutshell

  title={Flow Caml in a Nutshell},
  author={Vincent Simonet},
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. It automatically checks information flow within Flow Caml programs, then translates them to regular Objective Caml code that can be compiled by the ordinary compiler to produce secure programs. In this paper, we give a short overview of this system, from a practical viewpoint. 
Highly Cited
This paper has 101 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
73 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 73 extracted citations

102 Citations

Citations per Year
Semantic Scholar estimates that this publication has 102 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-9 of 9 references

Dalton, an efficient implementation of type inference with structural subtyping

  • Vincent Simonet
  • 2002

The Objective Caml system, documentation and user’s manual

  • Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, Jérôme Vouillon
  • http://caml/ocaml/ htmlman/,
  • 2002

The Objective Caml system, release 3.06

  • Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, Jérôme Vouillon
  • http://caml.inria.fr/,
  • 2002

Jif: Java + information flow

  • Andrew C. Myers, Nathaniel Nystrom, Lantian Zheng, Steve Zdancewic
  • http://www.cs.cornell.edu/jif/,
  • 2001

Laüfer. An extension of ML with first-class abstract types

  • Martin Odersky, Konstantin
  • In Proceedings of the 1992 ACM Workshop on ML and…
  • 1992

Similar Papers

Loading similar papers…