hami93

Robert Harper, John Mitchell. On the Type Structure of Standard ML. ACM Transactions on Programming Languages and Systems (TOPLAS), Based on paper presented at POPL '88, 15(2):211-252, April 1993.

Keyword

[ Parametricity ]

Contact

R. Harper
J.C. Mitchell

BibTex Reference

@article{hami93,
   Author = {Harper, Robert and Mitchell, John},
   Title = {On the Type Structure of {S}tandard {ML}},
   Journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
   Volume = {15},
   Number = {2},
   Pages = {211--252},
   Month = {April},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)