shin90

D. Shin. Toward Optimal Type Checking for the Polymorphic Type System of Prolog. Research Report Int'l Inst. for Advanced Study of Social Information Science, Fujitsu Lab's, Ltd, No 0, December 1990.

Keyword

[ Parametricity ]

Contact

D. Shin

BibTex Reference

@TechReport{shin90,
   Author = {Shin, D.},
   Title = {Toward Optimal Type Checking for the Polymorphic Type System of Prolog},
   Number = {0},
   Institution = {Int'l Inst. for Advanced Study of Social Information Science, Fujitsu Lab's, Ltd},
   Month = {December},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)