PCES PI Meeting
Feb 2001
24
Intensional Typing
•
Typing judgment
•
D
;
G
|- M : A
•
D
declares
expression variables
u :: A
•
G
declares
value variables
x : A
•
M is a
term
•
A is a
type
