Type-based confinement
From MaRDI portal
Publication:5717309
DOI10.1017/S0956796805005691zbMath1091.68021MaRDI QIDQ5717309
Tian Zhao, Jens Palsberg, Jan Vitek
Publication date: 13 January 2006
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N15: Theory of programming languages
Related Items