Definition
Monotype
A monotype is a type with no explicit universal quantifier.
In a simple function-type grammar, monotypes are generated by
where
is a type variable, is a base type, and is a function type.
Monotype
A monotype is a type with no explicit universal quantifier.
In a simple function-type grammar, monotypes are generated by
where
is a type variable, is a base type, and is a function type.