Type extensions

DOI10.1145/42190.46167MaRDI QIDQ3815521zbMATH OpenOpenAlexFDO

Authors Niklaus Wirth

Publication date 1988

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1988-10/

zbMATH Keywords

modulesobject-oriented programmingprogramming languagesdata typesModula-2

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Operations on records
• scientific article; zbMATH DE number 1479646
• scientific article; zbMATH DE number 1066869
• Type theories and object-oriented programmimg
• scientific article; zbMATH DE number 3864476
• scientific article; zbMATH DE number 814796
• Simple type-theoretic foundations for object-oriented programming
• scientific article; zbMATH DE number 445158

Cited in

(5)

• SLS: a numbering scheme for large XML documents
• Enumerated types and type extensions for MiniZinc
• scientific article; zbMATH DE number 1543033 (Why is no real title available?)
• scientific article; zbMATH DE number 1104376 (Why is no real title available?)
• Static correctness of hierarchical procedures

Describes a project that uses

Uses Software

• Modula

This page was built for publication: Type extensions

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