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/ |
©2009 Microsoft Corporation. All rights reserved.