Type inference and implicit scaling

DOI10.1007/3-540-52592-0_77MaRDI QIDQ4038675zbMATH OpenFDO

Authors Satish M. Thatte

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-52592-0_77

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: Type inference and implicit scaling

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