scientific article; zbMATH DE number 177797

MaRDI QIDQ4038675zbMATH OpenFDO

Authors

Publication date 18 May 1993

zbMATH Keywords

APL-like languagesdata parallelismsubtyping

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A type system for implicit scaling
• Type inference with subtypes
• Polymorphism, subtyping, and type inference in MLsub
• A type inference system based on saturation of subtyping constraints
• Polymorphic type inference with overloading and subtyping

Cited in

(3)

• A type system for implicit scaling
• scientific article; zbMATH DE number 1953289 (Why is no real title available?)
• Implicit parameters: dynamic scoping with static types

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