myok83

A. Mycroft, R. O'Keefe. A Polymorphic Type System for PROLOG. Artificial Intelligence, 23:295-307, 1984.

Keyword

[ Parametricity ]

Contact

Alan Mycroft
R. O'Keefe

BibTex Reference

@article{myok83,
   Author = {Mycroft, A. and O'Keefe, R.},
   Title = {A Polymorphic Type System for {PROLOG}},
   Journal = {Artificial Intelligence},
   Volume = {23},
   Pages = {295--307},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)