411 REFERENCE · Wiktionary
System F
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Proper noun
system F
A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.