Jump to : Keyword | Contact | BibTex reference | EndNote reference |

pawaok95

Jens Palsberg, Mitchell Wand, Patrick O'Keefe. Type Inference with Non-structural Subtyping. Research Report BRICS, Dept. of Computer Science, Aarhus University, No 0, April 1995.

Keyword

[ Parametricity ]

Contact

J. Palsberg
M. Wand
P. O'Keefe

BibTex Reference

@TechReport{pawaok95,
   Author = {Palsberg, Jens and Wand, Mitchell and O'Keefe, Patrick},
   Title = {Type Inference with Non-structural Subtyping},
   Number = {0},
   Institution = {BRICS, Dept. of Computer Science, Aarhus University},
   Month = {April},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)