1. Combination of subtyping, conditional constraints and rows yields a powerful constraint-based type inference system.
2. Solutions to three delicate type inference problems are proposed: "accurate" pattern matchings, record concatenation, and first-class messages.
3. A formal description of the constraint simplification techniques is given in an appendix.
The article is overall reliable and trustworthy as it provides detailed information about the combination of subtyping, conditional constraints and rows to yield a powerful constraint-based type inference system. The article also provides solutions to three delicate type inference problems with references to relevant research papers for further reading. Furthermore, the article includes a formal description of the constraint simplification techniques in an appendix which adds credibility to the claims made in the article.
However, there are some potential biases that should be noted when considering this article. Firstly, there is no mention of any counterarguments or alternative approaches that could be taken when dealing with these type inference problems. Additionally, there is no discussion of any possible risks associated with using this approach or any potential drawbacks that could arise from its implementation. Finally, there is no indication as to whether both sides of the argument have been presented equally or if one side has been given more weight than another which could lead to partiality in the conclusions drawn from this article.