Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions

lpar.ps
PostScript file

Publisher: Springer-Verlag
All copyrights reserved by Springer 2004.

Details

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