Combining inheritance and parametric polymorphism in a functional database language
Courtenage, S. and Poulovassilis, A. 2005. Combining inheritance and parametric polymorphism in a functional database language. Springer.
Courtenage, S. and Poulovassilis, A. 2005. Combining inheritance and parametric polymorphism in a functional database language. Springer.
| Title | Combining inheritance and parametric polymorphism in a functional database language |
|---|---|
| Authors | Courtenage, S. and Poulovassilis, A. |
| Abstract | We consider extending a functional database language to support subtyping, inheritance and method overloading. We do so by extending previous work on type inference with subtypes for the pure λ calculus to cater for structured types, ML-style parametric polymorphism and overloaded function definitions. We attach semantics to overloaded functions by developing a generalisation of best-fit pattern-matching. Although developed for a specific language, our approach is applicable to other functional database languages, for example languages with a functional data model. |
| Keywords | Atomic Type |
| Deductive Database | |
| Type Environment | |
| Type Inference | |
| Type Expression | |
| Year | 2005 |
| Publisher | Springer |
| Publication dates | |
| Published | 2005 |
| ISSN | 1611-3349 |
| Digital Object Identifier (DOI) | https://doi.org/10.1007/bfb0000539 |
| Web address (URL) | http://www.scopus.com/inward/record.url?eid=2-s2.0-84947905300&partnerID=MN8TOARS |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |