Search
Menu
Home
Sources
About
Contacts
Universal type
System F
parametric polymorphism
subtyping
top type
type system
universally quantified