query: Liskov Substitution Principle and casting
positive_passages.docid: 855
positive_passages.text: What does it mean to "program to an interface"?
negative_passages.docid: 103586
negative_passages.text: Applying casts to the results of integer and floating point division: what's going on here?
negative_passages.docid: 15182
negative_passages.text: Casting vs using the 'as' keyword in the CLR
negative_passages.docid: 32180
negative_passages.text: Why is "$A$ unless $B$" equivalent to $A \lor B$?
negative_passages.docid: 84317
negative_passages.text: Iterated self-composition of arbitrary function
negative_passages.docid: 113065
negative_passages.text: Proving equivalences of statements equivalent to AC
negative_passages.docid: 124003
negative_passages.text: Composition of adjoint functors
negative_passages.docid: 100095
negative_passages.text: Proving replacement theorem?
negative_passages.docid: 136883
negative_passages.text: The class of equivalence.
negative_passages.docid: 65910
negative_passages.text: Reflexivity of equivalence relations
negative_passages.docid: 14830
negative_passages.text: A transformation of F[x]
negative_passages.docid: 158728
negative_passages.text: Using induction for an easy proof for formal languages
negative_passages.docid: 98372
negative_passages.text: Proof of the principle of backwards induction
negative_passages.docid: 93171
negative_passages.text: Polymorphism and casting
negative_passages.docid: 16184
negative_passages.text: When should static_cast, dynamic_cast, const_cast and reinterpret_cast be used?
negative_passages.docid: 24126
negative_passages.text: When functions commute under composition
negative_passages.docid: 26928
negative_passages.text: Partial type inference