(Enter summary)
Abstract: Several generic programs for converting values from regular datatypes to some other
format, together with their corresponding inverses, are constructed. Among the
formats considered are shape plus contents, compact bit streams and pretty printed
strings. The dierent data conversion programs are constructed using John Hughes'
arrow combinators along with a proof that printing (from a regular datatype to
another format) followed by parsing (from that format back to the regular datatype)
is the... (Update)
Similar documents based on text: More All
1.0: Polytypic Data Conversion Programs - Jansson, Jeuring (2001)
(Correct)
0.8: Polytypic Compact Printing and Parsing - Jansson, Jeuring (1999)
(Correct)
0.7: A Framework for Polytypic Programming on Terms, With an.. - Jansson, Jeuring (2000)
(Correct)
BibTeX entry: (Update)
Patrik Jansson and Johan Jeuring. Polytypic data conversion programs. Science of Computer Programming, 43(1):35--75, 2002. http://citeseer.ist.psu.edu/jansson02polytypic.html More
@article{ jansson02polytypic,
author = "Patrik Jansson and Johan Jeuring",
title = "Polytypic data conversion programs",
journal = "Science of Computer Programming",
volume = "43",
number = "1",
pages = "35--75",
year = "2002",
url = "citeseer.ist.psu.edu/jansson02polytypic.html" }
Citations (may not include all citations):
368
Text Compression (context) - Bell, Cleary et al. - 1990
254
Comprehending monads
- Wadler - 1990
221
Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1988
129
A system of constructor classes: overloading and implicit hi..
- Jones - 1995
64
Science of Computer Programming (context) - Jay, for - 1995
63
A new approach to generic functional programming
- Hinze - 2000
60
Polytypic values possess polykinded types
- Hinze - 2000
52
Generic programming: An introduction (context) - Backhouse, Jansson et al. - 1999
48
Calculate polytypically
- Meertens - 1996
39
Polytypic pattern matching
- Jeuring - 1995
31
Source encoding using syntactic information source models (context) - Cameron - 1988
26
A generic programming extension for Haskell
- Hinze - 1999
23
a polytypic programming language extension (context) - Jansson, Jeuring - 1997
18
Polytypic compact printing and parsing
- Jansson, Jeuring - 1999
12
The WWW home page for polytypic programming (context) - Jansson - 2000
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC