The Complexity of Recursion Schemes and Recursive Programming Languages (Extended Abstract)
Harry B. Hunt IIIDaniel J. RosenkrantzPublished in: FOCS (1980)
Keyphrases
- extended abstract
- programming language
- general purpose
- high level
- denotational semantics
- object oriented
- software engineering
- logic programming
- lambda calculus
- strongly typed
- programming environment
- specification language
- computer programs
- data abstraction
- database languages
- databases
- concurrent programming
- object oriented programming
- object oriented concepts
- datalog programs
- machine learning