Functional Programming Languages with Logical Variables: A Linear Logic View.
John DarlingtonYike GuoMartin KöhlerPublished in: PLILP (1993)
Keyphrases
- programming language
- linear logic
- logic programming
- lambda calculus
- functional language
- logical framework
- denotational semantics
- object oriented
- general purpose
- fixed point
- programming environment
- software engineering
- strongly typed
- database languages
- high level
- sequent calculus
- functional programming
- cut elimination
- desirable properties
- object oriented programming
- proof search
- data abstraction
- database
- deductive databases
- random variables
- databases
- predicate calculus
- inference rules
- logic programs
- bayesian networks