The Logical Approach to Stack Typing (2003)
Cached
Download Links
- [www.cs.princeton.edu]
- [www.cs.rice.edu]
- [www.cs.princeton.edu]
- [www.cs.indiana.edu]
- [www.cs.princeton.edu:80]
- [ttic.uchicago.edu]
- DBLP
Other Repositories/Bibliography
by
Amal Ahmed
,
David Walker
| Citations: | 22 - 4 self |
Document Versions
| The Logical Approach to Stack Typing –Amal Ahmed, David Walker — 2003 |
