Talk:System F-sub

The ML-family languages support record subtyping?
I think this article could do with some examples. Standard ML, at least, doesn't support record subtyping SFAIK, but maybe I'm misunderstanding what this article means by that term? —Ruakh TALK 15:07, 15 August 2013 (UTC)

Merge With System F
This is a weak article and likely to perpetually remain a stub; half of its content is an unciteable claim and has been tagged as such for years. I will be adding banner when I get a chance. SpiralSource (talk) 12:49, 8 February 2022 (UTC)
 * Support merging - I stumbles across this article and agree it's a mess. * Pppery * it has begun... 03:03, 16 September 2022 (UTC)