Data Type Specification: Parameterization and the Power of Specification Techniques

James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Browse the full STOC paper archive.