Login / Signup

Algebraic Reasoning and Completeness in Typed Languages.

Jon G. RieckeRamesh Subrahmanyam
Published in: POPL (1993)
Keyphrases