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) 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) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) 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)

• Encoding types in ML-like languages
• Enumerated types and type extensions for MiniZinc
• A typed encoding of boxed into safe ambients
• scientific article; zbMATH DE number 1104376 (Why is no real title available?)
• 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)