Automating Type Soundness Proofs via Decision Procedures and Guided Reductions

Don Syme and Andy Gordon

Details

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