mps86

D. MacQueen, G. Plotkin, R. Sethi. An Ideal Model for Recursive Polymorphic Types. Information and Control, 71, 1986.

Keyword

[ Rectype ]

Contact

D. MacQueen
G.D. Plotkin
Ravi Sethi

BibTex Reference

@article{mps86,
   Author = {MacQueen, D. and Plotkin, G. and Sethi, R.},
   Title = {An Ideal Model for Recursive Polymorphic Types},
   Journal = {Information and Control},
   Volume = {71},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)