Automating Type Soundness Proofs via Decision Procedures and Guided Reductions

lpar.ps
PostScript file

Publisher  Springer-Verlag
All copyrights reserved by Springer 2004.

Details

TypeInproceedings
URLhttp://www.springer-ny.com/
> Publications > Automating Type Soundness Proofs via Decision Procedures and Guided Reductions