Type Theory
type system type term base type ground type constant type monomorphic type polymorphic type monotype polytype type function type constructor type variable type inference principle type
Last updated 4 years ago