Editing System F (section)

==System F<sub>&lt;:</sub> ==
'''System F<sub>&lt;:</sub>''', pronounced "F-sub", is an extension of system F with [[subtyping]]. System F<sub>&lt;:</sub> has been of central importance to [[programming language theory]] since the 1980s{{citation needed|date=September 2014}} because the core of [[functional programming languages]], like those in the [[ML (programming language)|ML]] family, support both [[parametric polymorphism]] and [[Record (computer science)|record]] subtyping, which can be expressed in '''System F<sub>&lt;:</sub>'''.<ref>{{cite conference
  | first = Luca
  | last = Cardelli |author2=Martini, Simone |author3=Mitchell, John C. |author4=Scedrov, Andre
  | title = An extension of system F with subtyping
  | book-title = Information and Computation, vol. 9
  | pages = 4–56
  | year = 1994
  | location = North Holland, Amsterdam
  | doi = 10.1006/inco.1994.1013
| doi-access = free
  }}</ref><ref>{{cite book|last=Pierce|first=Benjamin|title=Types and Programming Languages|publisher=MIT Press|date=2002|isbn=978-0-262-16209-8}}, Chapter 26: [[Bounded quantification]]</ref>