An ML-style record calculus with extensible records.
Sandra AlvesMiguel RamosPublished in: MFPS (2021)
Keyphrases
- data records
- maximum likelihood
- database
- databases
- application specific
- data model
- computer algebra
- automated deduction
- record linkage
- object oriented
- general purpose
- attribute values
- markup language
- digital libraries
- image sequences
- medical records
- genetic algorithm
- natural deduction
- algebraic structure
- neural network