Login / Signup

An effective theory of type refinements.

David Walker Robert Harper Yitzhak Mandelbaum

Published in: SIGPLAN Notices (2003)

Keyphrases