![](/img/cover-not-exists.png)
A model for type checking: with an application to ALGOL 60
Ledgard, Henry F.Volume:
15
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/355606.361876
Date:
November, 1972
File:
PDF, 877 KB
english, 1972