Login / Signup

Structural Semantics for Polymorphic Data Types.

Daniel Leivant
Published in: POPL (1983)
Keyphrases