Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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