Closed types for a safe imperative MetaML
From MaRDI portal
Publication:4408681
DOI10.1017/S0956796802004598zbMath1036.68024MaRDI QIDQ4408681
No author found.
Publication date: 2003
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items