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.
No references recorded for this publication.
No citations of this publication recorded.