Automating Type Soundness Proofs via Decision Procedures and Guided Reductions (2002)

by Don Syme , Andrew D. Gordon
Venue:In 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, volume 2514 of LNCS
Citations:3 - 0 self