Extensible encoding of type hierarchies

DOI10.1145/1328438.1328480MaRDI QIDQ3189854zbMATH OpenOpenAlexFDO

Authors Hamed Seiied Alavi, Rachid Guerraoui, Seth Gilbert

Publication date 12 September 2014

Published in Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1328438.1328480

zbMATH Keywords

dynamic loadingsubtyping test

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1693038
• Typed interpretations of extensible objects
• scientific article; zbMATH DE number 1390057
• On Hierarchical Type Covering
• Modular typechecking for hierarchically extensible datatypes and functions
• scientific article; zbMATH DE number 1696548
• scientific article; zbMATH DE number 1689578
• scientific article; zbMATH DE number 1104376
• scientific article; zbMATH DE number 2185650
• scientific article; zbMATH DE number 1950748

Cited in

(6)

• A typed encoding of boxed into safe ambients
• Enumerated types and type extensions for MiniZinc
• scientific article; zbMATH DE number 1104376 (Why is no real title available?)
• Encoding types in ML-like languages
• scientific article; zbMATH DE number 2086494 (Why is no real title available?)
• A slice-based decision procedure for type-based partial orders

This page was built for publication: Extensible encoding of type hierarchies

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