Parametricity and Proving Free Theorems for Functional-Logic Languages.
Stefan MehnerDaniel SeidelLutz StraßburgerJanis VoigtländerPublished in: PPDP (2014)
Keyphrases
- target language
- cut elimination
- sequent calculus
- logic programming
- modal logic
- multi valued
- linear logic
- classical logic
- real time
- data sets
- automated reasoning
- logical framework
- database
- database systems
- databases
- information extraction
- knowledge representation
- computational properties
- formal language
- epistemic logic
- deontic logic
- asynchronous circuits
- functional analysis
- neural network
- proof search
- functional language