Type Structure for Low-Level Programming Languages.
Karl CraryJ. Gregory MorrisettPublished in: ICALP (1999)
Keyphrases
- programming language
- high level
- strongly typed
- low level
- object oriented
- general purpose
- programming environment
- specification language
- software engineering
- denotational semantics
- database languages
- lambda calculus
- data abstraction
- object oriented programming
- logic programming
- functional programming
- database
- higher level
- artificial intelligence
- language constructs
- machine learning
- object oriented concepts
- programming paradigms
- high level programming language
- open source
- query language
- databases