hoka87

K. Horiuchi, T. Kanamori. Polymorphic Type Inference in Prolog by Abstract Interpretation. In Proc. Logic Programming, Lecture Notes in Computer Science, Vol. 315, Pages 195-214, Tokyo, Japan, June 1987.

Keyword

[ Parametricity ]

Contact

K. Horiuchi
T. Kanamori

BibTex Reference

@InProceedings{hoka87,
   Author = {Horiuchi, K. and Kanamori, T.},
   Title = {Polymorphic Type Inference in Prolog by Abstract Interpretation},
   BookTitle = {Proc. Logic Programming},
   Pages = {195--214},
   Publisher = {Springer-Verlag},
   Address = {Tokyo, Japan},
   Month = {June},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)