Type system in programming languages

DOI10.1007/BF02943207MaRDI QIDQ5942703zbMATH OpenOpenAlexFDO

Authors Dong Lin, Xingyuan Zhang, Xiren Xie, Hui Jiang

Publication date 9 September 2001

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943207

zbMATH Keywords

type system

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Types and programing languages
• Types in programming languages and corresponding safety theorems
• Type systems for concurrent programs.
• Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
• scientific article; zbMATH DE number 3881865

Cites work

• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• scientific article; zbMATH DE number 1479647 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Data types are values
• Simple type-theoretic foundations for object-oriented programming
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(4)

• Types in programming languages and corresponding safety theorems
• scientific article; zbMATH DE number 709368 (Why is no real title available?)
• Specifying type systems
• scientific article; zbMATH DE number 1953279 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell
• ML

This page was built for publication: Type system in programming languages

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