Formalization
Special representation terms:
Rint
R? (x,y)
A term e which represents a type t has the special type R(t).
R?(Rint,Rint): R(int ? int)
Instead of a type, the argument to typecase is a term of type R(t)
Previous slide
Next slide
Back to first slide
View graphic version