Unification and polymorphism in region inference

Mads Tofte, Lars Birkedal. Unification and polymorphism in region inference. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 389-424, The MIT Press, 2000.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.