Loading...
Please wait, while we are loading the content...
Similar Documents
Bialgebra views: a way for polytypic programming to cohabit with data abstraction
| Content Provider | ACM Digital Library |
|---|---|
| Author | Moreno-Navarro, Juan José Nogueira, Pablo |
| Abstract | Polytypic programming and data abstraction are important concepts in designing functional programs, but they do not fit well together. Polytypic programming currently depends on making public a free data type representation, while data abstraction depends on hiding the representation. This paper proposes the bialgebra views mechanism as a means of reconciling this conflict. Bialgebra views enable the specification of type structure according to interfaces, not representations, thus combining the genericity of polytypic programming with the information hiding of data abstraction, and narrowing the gap between generic programming in the functional and object-oriented paradigms. |
| Starting Page | 61 |
| Ending Page | 73 |
| Page Count | 13 |
| File Format | |
| ISBN | 9781605580609 |
| DOI | 10.1145/1411318.1411327 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2008-09-20 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Bialgebras Polytypic programming Program generation Abstract types |
| Content Type | Text |
| Resource Type | Article |
