Polymorphism 2
ML provides let polymorphism only
- similar to our second abstract interpreter
our third interpreter will handle polymorphic recursion as well
I was not able to handle polymorphic abstraction within our approach
- Herbrand abstraction and principal types
it can be handled using sets of types as abstract domain
- see Cousot’s paper
- abstract semantics rather than effective abstract interpreter