Related Work
Minamide 1996
interested in type lifting - recognizes that not all types need to be passed
separates type representations (evidences) from types
does not consider type analysis
Previous slide
Next slide
Back to first slide
View graphic version