A type system for implicit scaling
From MaRDI portal
Publication:1183557
DOI10.1016/0167-6423(91)90040-5zbMath0745.68037MaRDI QIDQ1183557
Publication date: 28 June 1992
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(91)90040-5
68N15: Theory of programming languages