caco91

F. Cardone, M. Coppo. Type Inference with Recursive Types: Syntax and Semantics. Information and Computation, 92(1):48-80, May 1991.

Keyword

[ Rectype ]

Contact

Felice Cardone
Mario Coppo

BibTex Reference

@article{caco91,
   Author = {Cardone, F. and Coppo, M.},
   Title = {Type Inference with Recursive Types: Syntax and Semantics},
   Journal = {Information and Computation},
   Volume = {92},
   Number = {1},
   Pages = {48--80},
   Month = {May},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)