scientific article; zbMATH DE number 4058828

MaRDI QIDQ3793704zbMATH OpenFDO

Authors

Publication date 1988

zbMATH Keywords

dynamic type checksheterogeneous data structurespartial type informationprinciple typestype expressions

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Type inference with partial types
• scientific article; zbMATH DE number 1256673
• Efficient inference of partial types
• scientific article; zbMATH DE number 4080882
• Type inference for variant object types

Cited in

(16)

• Safety analysis versus type inference for partial types
• Normal forms have partial types
• Type inference with partial types
• Efficient inference of partial types
• Strong normalization for non-structural subtyping via saturated sets
• Type inference with non-structural subtyping
• Partial Types and Intervals
• scientific article; zbMATH DE number 177846 (Why is no real title available?)
• scientific article; zbMATH DE number 1948390 (Why is no real title available?)
• scientific article; zbMATH DE number 1953289 (Why is no real title available?)
• Types as parameters
• Type reconstruction with recursive types and atomic subtyping
• Type Inference for Correspondence Types
• Dynamic inference of static types for Ruby
• Types for Proofs and Programs
• Type inference with subtypes

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 Q3793704)