Subtyping of records can be defined in System F<:, which combines parametric polymorphism with subtyping of record types and is a theoretical basis for many functional programming languages that support both features.
Η σχέση υποτύπου για εγγραφές μπορεί να οριστεί στο Σύστημα F<:, το οποίο συνδυάζει παραμετρικό πολυμορφισμό με υποτύπους για τύπους εγγραφών και είναι μια θεωρητική βάση για πολλές συναρτησιακές γλώσσες προγραμματισμού που υποστηρίζουν και τα δύο χαρακτηριστικά.