Jump to content

Talk:System F-sub

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

The ML-family languages support record subtyping?

[edit]

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? —RuakhTALK 15:07, 15 August 2013 (UTC)[reply]

Merge With System F

[edit]

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)[reply]