onr:"swepub:oai:research.chalmers.se:aa29ace0-9153-4cb5-acf5-37184a64a469"
Search: onr:"swepub:oai:research.chalmers.se:aa29ace0-9153-4cb5-acf5-37184a64a469" > Polytypic Compact P...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Jansson, Patrik,1972Chalmers tekniska högskola,Chalmers University of Technology (author)
Polytypic Compact Printing and Parsing
- Article/chapterEnglish1999
Publisher, publication year, extent ...
- 1999
Numbers
- LIBRIS-ID:oai:research.chalmers.se:aa29ace0-9153-4cb5-acf5-37184a64a469
- https://research.chalmers.se/publication/10127URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
- Jeuring, Johan,1965 (author)
- Chalmers tekniska högskola (creator_code:org_t)
Related titles
- In:European Symposium on Programming1576, s. 273-287
Internet link
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Jansson, Patrik, ...
- Jeuring, Johan, ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- European Symposi ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
