Alias types

DOI10.1007/3-540-46425-5_24MaRDI QIDQ2729060zbMATH OpenFDO

Authors Frederick Smith, Greg Morrisett, David Walker

Publication date 6 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46425-5_24

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Alias types for recursive data structures
• A type system with usage aspects
• L^3: a linear language with locations
• Another type system for in-place update
• Alias types and effects for ``environments-aware computations

Cited in

(11)

• Static typing for a substructural lambda calculus
• Formalizing Soundness of Contextual Effects
• Alias types and effects for ``environments-aware computations
• Alias types for recursive data structures
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Relating Functional and Imperative Session Types
• scientific article; zbMATH DE number 7204445 (Why is no real title available?)
• Formalisation and implementation of an algorithm for bytecode verification of \@NonNull types
• Separation Logic Contracts for a Java-Like Language with Fork/Join
• Q\# as a quantum algorithmic language
• Resources, concurrency, and local reasoning

This page was built for publication: Alias types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729060)