Bialgebra views: a way for polytypic programming to cohabit with data abstraction.
Pablo NogueiraJuan José Moreno-NavarroPublished in: ICFP-WGP (2008)
Keyphrases
- data abstraction
- programming language
- error handling
- abstract data types
- conceptual modelling
- database management
- conceptual modeling
- object oriented
- object oriented databases
- formal specification
- general purpose
- database
- data types
- high level
- artificial intelligence
- relational database systems
- software engineering
- relational databases
- data structure
- decision making