Polytypic compact printing and parsing (1999)
Cached
Download Links
- [igitur-archive.library.uu.nl]
- [www.cs.chalmers.se]
- [www.math.chalmers.se]
- DBLP
Other Repositories/Bibliography
| Venue: | In Doaitse Swierstra, editor, ESOP’99, volume 1576 of LNCS |
| Citations: | 19 - 7 self |
BibTeX
@INPROCEEDINGS{Jansson99polytypiccompact,
author = {Patrik Jansson and Johan Jeuring},
title = {Polytypic compact printing and parsing},
booktitle = {In Doaitse Swierstra, editor, ESOP’99, volume 1576 of LNCS},
year = {1999},
pages = {273--287},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. A generic compact printer and a corresponding parser are constructed. These programs transform values of any regular datatype to and from a bit stream. The algorithms are constructed along with a proof that printing followed by parsing is the identity. Since the binary representation is very compact, the printer can be used for compressing data- possibly supplemented with some standard algorithm for compressing bit streams. The compact printer and the parser are described in the polytypic Haskell extension PolyP. 1
Citations
| 965 | A universal algorithm for sequential data compression - Ziv, Lempel - 1977 |
| 574 | Text Compression - Bell, Cleary, et al. - 1990 |
| 161 | PolyP—A polytypic programming language extension - Jansson, Jeuring - 1997 |
| 86 | Polytypic programming - Jeuring, Jansson - 1996 |
| 81 | Generic programming: An introduction - Backhouse, Jansson, et al. - 1998 |
| 52 | Deterministic, error-correcting combinator parsers - Swierstra, Duponcheel - 1996 |
| 42 | Calculating compilers - Meijer - 1992 |
| 41 | Calculate polytypically - Meertens - 1996 |
| 35 | Source encoding using syntactic information source models - Cameron - 1988 |
| 12 | On the choice of grammar and parser for the compact analytical encoding of programs - Stone - 1986 |
| 7 | Heap compression and binary I/O in Haskell - Wallace, Runciman - 1997 |
| 3 | Algebra ofProgramming - Bird, Moor - 1997 |
| 1 | Comparing approaches to generic programming - Halenbeek - 1998 |
| 1 | Generalising monads. Invited talk at MPC'98 - Hughes - 1998 |
