Monotypes with variables
type evalt = Notype
| Vvar of string
| Intero
| Mkarrow of evalt * evalt
the partial order relation (on equivalence classes of terms modulo variance)
anti-instance relation:
t1 _ t2 , if t2 is an instance of t1
Notype is the top element
there exist infinite increasing chains
we look for more general (principal) types
in least fixpoint computations, possible non termination problems
Previous slide
Next slide
Back to first slide
View graphic version