Lilac: A Functional Programming Language Based on Linear Logic.
Ian MackiePublished in: J. Funct. Program. (1994)
Keyphrases
- programming language
- linear logic
- logic programming
- functional language
- high level
- object oriented
- general purpose
- strongly typed
- fixed point
- cut elimination
- sequent calculus
- functional programming
- desirable properties
- proof search
- object oriented programming
- programming environment
- logical framework
- software engineering
- denotational semantics
- database languages
- answer set programming
- specification language
- inference rules
- computer programs
- deductive databases
- constraint logic programming
- abstract data types
- databases
- database applications
- logic programs
- machine learning