## A Verified Implementation of an Applicative Language with Dynamic Storage Allocation (1993)

### Cached

### Download Links

- [ftp.cs.utexas.edu]
- [www.cs.utexas.edu]
- [www.cs.utexas.edu]
- [dirleton.csres.utexas.edu]
- [ftp.cs.utexas.edu]
- DBLP

### Other Repositories/Bibliography

by
Arthur D. Flatau

Citations: | 18 - 0 self |