Top Qs
Timeline
Chat
Perspective
System F
From Wiktionary, the free dictionary
Remove ads
English
Proper noun
System F
- A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads