Various calculi that attempt to capture the theoretical properties of object-oriented programming may be derived from system F<:.
Διάφοροι λογισμοί που επιχειρούν να συλλάβουν τις θεωρητικές ιδιότητες του αντικειμενοστρεφούς προγραμματισμού μπορεί να προκύψουν από το σύστημα F<:.