Type System for Specializing Polymorphism

Atsushi Ohori. Type System for Specializing Polymorphism. In Martín Abadi, Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, Proceedings. Volume 1281 of Lecture Notes in Computer Science, pages 107-137, Springer, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.