Extensions (1): Pair Types

e　::=　...　|　pair(e1,e2)　|　fst e　|　snd e

???? v = pair (?? fst v, ?? snd v)

???? e = pair (?? fst e, ?? snd e)

Previous slide

Next slide

Back to first slide

View graphic version