diha88

R. Dietrich, F. Hagl. A Polymorphic Type System with Subtypes for Prolog. In Proc. European Symposium on Programming (ESOP), Lecture Notes in Computer Science 300, Pages 79-93, 1988.

Keyword

[ Parametricity ]

Contact

R. Dietrich
F. Hagl

BibTex Reference

@InProceedings{diha88,
   Author = {Dietrich, R. and Hagl, F.},
   Title = {A Polymorphic Type System with Subtypes for Prolog},
   BookTitle = {Proc. European Symposium on Programming (ESOP)},
   Pages = {79--93},
   Publisher = {Springer-Verlag},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)