Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
Don Syme and Andy Gordon
October 2002
 PostScript file |
Publisher Springer-Verlag
All copyrights reserved by Springer 2004.
Details
| Type | Inproceedings |
| URL | http://www.springer-ny.com/ |