This redirect does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||
|
The ML-family languages support record subtyping?
editI 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? —RuakhTALK 15:07, 15 August 2013 (UTC)
Merge With System F
editThis 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)