An idea for a type system of multi-paradigm language with extensible syntax.
Valeri BogdanovPublished in: CompSysTech (2012)
Keyphrases
- type checking
- strongly typed
- natural language
- definition language
- programming language
- data types
- database programming language
- precisely defined
- database query languages
- database language
- predicate calculus
- english language
- abstract data types
- operational semantics
- computational linguistics
- data model
- high level
- artificial intelligence
- context dependent
- e learning