On Sat, Apr 07, 2012 at 06:45:26PM +0200, Gabriel Scherer wrote: > In the ML-type-system community, enforcing invariant through typing > has mostly been discussed, as far as I'm aware, informally, and is > part of the language communities folklore. There have been > publications centered on the use of richer features (than the base ML [...]
Thank you for the many links. Thats much more than I expected to be there. :-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs