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
Unnamed Item, Holistic Specifications for Robust Programs, Doo bee doo bee doo, Recursive type generativity, A type system with usage aspects, From semantics to types: the case of the imperative \(\lambda\)-calculus, An algebraic theory for shared-state concurrency, Automated temporal verification for algebraic effects, 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, The untyped computational \(\lambda \)-calculus and its intersection type discipline, Formalizing Soundness of Contextual Effects