## An Effective Theory of Type Refinements (2002)

### Cached

### Download Links

- [www.cs.princeton.edu]
- [www.cs.princeton.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.rice.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.princeton.edu]
- [www.cs.cmu.edu]
- [www.cs.princeton.edu:80]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [sip.cs.princeton.edu]
- DBLP

### Other Repositories/Bibliography

by
Yitzhak Mandelbaum
,
David Walker
,
Robert Harper

Citations: | 62 - 5 self |