The type and effect discipline
From MaRDI portal
Publication:1327400
DOI10.1006/inco.1994.1046zbMath0806.68017MaRDI QIDQ1327400
Pierre Jouvelot, Jean-Pierre Talpin
Publication date: 19 June 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0830dd8eabcfe160ec51976b1cf5e4994beb3a7a
Related Items
Recursive type generativity, A type system with usage aspects, An algebra of behavioural types, Typing termination in a higher-order concurrent imperative language, Flow-sensitive type systems and the ambient calculus, Distributed call-tracking for security, A generic type system for the pi-calculus, Formalizing Soundness of Contextual Effects