Selectively Instantiating Definitions.

Matthew Bishop, Peter B. Andrews

Browse the full CADE paper archive.