A sound polymorphic type system for a dialect of \(C\)
From MaRDI portal
Publication:1818320
DOI10.1016/S0167-6423(97)00030-0zbMath0942.68016MaRDI QIDQ1818320
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
68N15: Theory of programming languages
Related Items