See Also
- System F-omega
- Pure type system
Read more about this topic: Kind (type Theory)
Famous quotes containing the word see:
“For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
—Sophocles (497406/5 B.C.)