Le samedi, 7 avril 2012 à 17:14, oliver a écrit :
> do you know of articles (or books?) that describe > the usage of types for enhancing software quality > by coding the software invariants as types? The following paper shows how parametric polymorphism can be used to encode a finite subtyping hierarchy. http://dx.doi.org/10.1017/S0956796806006046 http://www.cs.cornell.edu/people/fluet/research/phantom-subtyping/ Best, Daniel -- 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