The type and effect discipline

DOI10.1006/INCO.1994.1046zbMath0806.68017OpenAlexW2118002698MaRDI 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

zbMATH Keywords

memory locationspolymorphic functional languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (15)

Holistic Specifications for Robust Programs ⋮ A generic type system for the pi-calculus ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ An algebra of behavioural types ⋮ Doo bee doo bee doo ⋮ An algebraic theory for shared-state concurrency ⋮ Automated temporal verification for algebraic effects ⋮ The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Formalizing Soundness of Contextual Effects ⋮ Typing termination in a higher-order concurrent imperative language ⋮ Unnamed Item ⋮ A type system with usage aspects ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Recursive type generativity ⋮ Distributed call-tracking for security

This page was built for publication: The type and effect discipline