scientific article; zbMATH DE number 1256673

MaRDI QIDQ4230360zbMATH OpenFDO

Authors Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Publication date 20 January 2002

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• Efficient inference of partial types
• Efficient inference of object types
• scientific article; zbMATH DE number 2044493
• Partial Types and Intervals

Cited in

(8)

• Safety analysis versus type inference for partial types
• Normal forms have partial types
• Type inference with partial types
• Efficient inference of partial types
• Efficient inference of object types
• scientific article; zbMATH DE number 4058828 (Why is no real title available?)
• scientific article; zbMATH DE number 2044493 (Why is no real title available?)
• Sound and complete type inference for closed effect rows

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