scientific article; zbMATH DE number 1948390

MaRDI QIDQ4411952zbMATH OpenFDO

Authors Lunjin Lu, Andy King

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770085.htm

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Type inference with partial types
• scientific article; zbMATH DE number 4058828
• scientific article; zbMATH DE number 445157
• Mathematics of Program Construction
• Type checking with universes
• Type inference in polymorphic type discipline
• scientific article; zbMATH DE number 3930968
• A Rewriting Semantics for Type Inference
• scientific article; zbMATH DE number 3928328
• Type inference with non-structural subtyping

Cited in

(1)

• Type Checking by Domain Analysis in Ampersand

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