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) |