## 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 |