Type System in Programming Languages.
Hui JiangDong LinXingyuan ZhangXiren XiePublished in: J. Comput. Sci. Technol. (2001)
Keyphrases
- programming language
- strongly typed
- general purpose
- object oriented
- denotational semantics
- high level
- programming environment
- software engineering
- database languages
- lambda calculus
- specification language
- logic programming
- data structure
- computer programs
- data abstraction
- functional programming
- concurrent programming
- object oriented concepts
- database management systems
- database
- open source
- higher order
- machine learning