Sign in
An effective theory of type refinements.
David Walker
Robert Harper
Yitzhak Mandelbaum
Published in:
SIGPLAN Notices (2003)
Keyphrases
</>