A Types-as-Sets Semantics for Milner-Style Polymorphism

Mitchell Wand. A Types-as-Sets Semantics for Milner-Style Polymorphism. In POPL. pages 158-164, 1984.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.