The Semantics of Types in Programming Languages
Carl A. Gunter
Oxford University Press Handbook of Logic in Theoretical Computer Science, volume 3, Semantic Structures, pages 395-475, 1994.
Last updated on Thursday, June 26, 2014, 12:47 pm
The Semantics of Types in Programming Languages
Carl A. Gunter
Oxford University Press Handbook of Logic in Theoretical Computer Science, volume 3, Semantic Structures, pages 395-475, 1994.
Last updated on Thursday, June 26, 2014, 12:47 pm