Algebraic Reasoning and Completeness in Typed Languages.

Jon G. Riecke, Ramesh Subrahmanyam

Browse the full POPL paper archive.