Powerful and seamless syntax extensions on a statically typed language.
Kazuhiro IchikawaPublished in: AOSD (Companion) (2013)
Keyphrases
- natural language
- lambda calculus
- definition language
- operational semantics
- predicate calculus
- programming language
- precisely defined
- high level
- language learning
- language processing
- higher order
- formal languages
- machine learning
- specification language
- database language
- concurrent programs
- word order
- language constructs
- data manipulation
- context dependent