Static Type Checking for the Q Functional Language in Prolog.
Zsolt ZomboriJános CsorbaPéter SzerediPublished in: ICLP (Technical Communications) (2011)
Keyphrases
- functional programming
- functional language
- type checking
- programming language
- abstract data types
- data types
- execution model
- object identity
- object model
- object oriented programming
- query processor
- logic programming
- proof planning
- artificial intelligence
- distributed environment
- relational calculus
- general purpose
- knowledge base