In 
x.E what is allowed in E?
Expressions are made of:
Abstractions
y.FApplications (G H)
Variables z
That is all
You now know everything
You can go home now
| September 22, 1999 | Strong Typing | Slide #11 |
In x.E what is allowed in E?
Expressions are made of:
Abstractions y.F
Applications (G H)
Variables z
That is all
You now know everything
You can go home now
| Next |  |
Copyright © 1999 M-J. Dominus |