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.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)