Categorical Semantics, Or Extending Data Types to Include Memory

• Authors:

• Eric G. Wagner

• Affiliations:

• -

• Venue:
• Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
• Year:
• 1984