scientific article; zbMATH DE number 1479640

MaRDI QIDQ4490756zbMATH OpenFDO

Authors Flemming M. Damm

Publication date 20 July 2000

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Computer Science Logic
• Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
• A decidable subtyping logic for intersection and union types
• scientific article; zbMATH DE number 761284
• Untangling typechecking of intersections and unions

Cited in

(8)

• Union and intersection types to support both dynamic and static typing
• Sound and complete flow typing with unions, intersections and negations
• The recursive union of some gradual types
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• Subtyping arithmetical types
• Computer Science Logic
• Theoretical Computer Science
• A calculus with recursive types, record concatenation and subtyping

This page was built for publication:

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