MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Compilation Method for ML-Style Polymorphic Record Calculi." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A compilation method for ML-style polymorphic record calculi
by Atsushi Ohori — 1992
…A Compilation Method for ML-Style Polymorphic Record Calculi ∗ Abstract Polymorphic record calculi…
Cited by 62 (7 self) – Add To MetaCart

A Polymorphic Record Calculus and Its Compilation
by Atsushi Ohori — 1995 — ACM Transactions on Programming Languages and Systems
… the title \A compilation method for ML-style polymorphic record calculi." This work was partly supported…
Cited by 65 (8 self) – Add To MetaCart

INDEX equality 11, 169
by Tanaka Tannen Breazu-Tannen, Ullman J, Vianu V, Vickers S, Winskel G, Zicari R
…. Theoretical Computer Science 76 (1990), 53--91. [126] A. Ohori. A compilation method for ML-style polymorphic…
Add To MetaCart

Showing 1 through 3.

ATOM

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