Login / Signup

The Typechecking of Programs with Implicit Type Structure.

Nancy McCracken
Published in: Semantics of Data Types (1984)
Keyphrases