Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.

Don Syme, Andrew D. Gordon

Browse the full LPAR paper archive.