MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Unification and polymorphism in region inference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Unification and Polymorphism in Region Inference
by Mads Tofte, Lars Birkedal — 1996 — In Proof, Language, and Interaction: Essays in Honour of Robin Milner
…Unification and Polymorphism in Region Inference Mads Tofte, Department of Computer Science…
Cited by 11 (2 self) – Add To MetaCart

Overview of Milner’s work
by Riccardo Pucella — 2001
… and Polymorphism in Region Inference. Tofte and Birkedal present rules to perform region inference in a language…
Add To MetaCart

Proof, Language, and Interaction: Essays in Honour of Robin Milner
by Edited By Plotkin, C. Stirling, M. Tofte, Riccardo Pucella
…-erased, programs. 2 13. Unification and Polymorphism in Region Inference. Tofte and Birkedal present rules…
Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… Tofte and Lars Birkedal. Unification and polymorphism in region inference. In Proof, Language…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB