Type system in programming languages

DOI10.1007/BF02943207zbMath0979.68010OpenAlexW1572195080MaRDI QIDQ5942703

Xing-Yuan Zhang, Xiren Xie, Dong Lin, 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)

Uses Software

• ML
• Haskell

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Data types are values
• Simple type-theoretic foundations for object-oriented programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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