Flow Caml is an extension of the OCaml language with a type system tracing information flow. It was developed by Vincent Simonet during his PhD work under the supervision of François Pottier, and announced publicly in 2003.
The Flow Caml system is described in the APPSEM-II workshop proceedings (informal publication):
Simonet, Vincent. 2003. ‘Flow Caml in a Nutshell’. In Proceedings of the First APPSEM-II Workshop, edited by Graham Hutton, 152–65. Nottingham, United Kingdom. [pdf] [slides]
@inproceedings{simonet_2003,
address = {Nottingham, United Kingdom},
title = {Flow {Caml} in a {Nutshell}},
booktitle = {Proceedings of the first {APPSEM}-{II} workshop},
author = {Simonet, Vincent},
editor = {Hutton, Graham},
year = {2003},
pages = {152--165}
}
Pottier, François, and Vincent Simonet. 2002. ‘Information Flow Inference for ML’. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 319–30. New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/503272.503302. [pdf]
@inproceedings{pottier_2002,
address = {New York, NY, USA},
title = {Information {Flow} {Inference} for {ML}},
doi = {10.1145/503272.503302},
booktitle = {Proceedings of the 29th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}},
publisher = {Association for Computing Machinery},
author = {Pottier, Fran\c{c}ois and Simonet, Vincent},
year = {2002},
pages = {319--330}
}
There is also a journal version of this article at TOPLAS:
Pottier, François, and Vincent Simonet. 2003. ‘Information Flow Inference for ML’. ACM Transactions on Programming Languages and Systems 25 (1): 117–58. https://doi.org/10.1145/596980.596983. [pdf]
@article{pottier_2003,
title = {Information flow inference for {ML}},
volume = {25},
doi = {10.1145/596980.596983},
number = {1},
journal = {ACM Transactions on Programming Languages and Systems},
author = {Pottier, François and Simonet, Vincent},
year = {2003},
pages = {117--158}
}