Automating Type Soundness Proofs via Decision Procedures and Guided Reductions - Microsoft Research

Microsoft Translator |

Automating Type Soundness Proofs via Decision Procedures and Guided Reductions

Don Syme and Andy Gordon
October 2002

lpar.ps

PostScript file

Publisher Springer-Verlag
All copyrights reserved by Springer 2004.

Details

Type	Inproceedings
URL	http://www.springer-ny.com/

Related People

Related Labs

Microsoft Research Cambridge

Share

> Publications > Automating Type Soundness Proofs via Decision Procedures and Guided Reductions