DI-domains as a Model of Polymorphism
Thierry Coquand, Carl A. Gunter and Glynn Winskel
Mathematical Foundations of Programming Language Semantics (MFPS ’87), Lecture Notes in Computer Science, volume 298, pages 344-363, New Orleans, LA, April 1987. [BIB]
Last updated on Monday, July 25, 2011, 4:40 pm