Deltas for Functional Programs with Algebraic Data Types.
Ferruccio DamianiEduard KamburjanMichael LienhardtLuca PaoliniPublished in: SPLC (A) (2023)
Keyphrases
- data types
- functional programs
- term rewriting systems
- data model
- functional language
- data structure
- logic programs
- database systems
- user defined
- database management systems
- object identity
- data mining algorithms
- database server
- abstract data types
- query optimization
- database
- integrity constraints
- relational model
- object oriented databases
- data storage
- functional programming
- proof planning
- programming language
- object oriented
- high level