Special representation terms:
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)
Back to first slide
View graphic version