Pickler combinators

Journal of Functional Programming

Volumn 14, Issue 6, 2004, Pages 727-739

  Kennedy, Andrew J ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PARSER COMBINATORS; PICKLED REPRESENTATION; PROGRAMMING TECHNIQUES; RUN-TIME SYSTEMS;

COMPUTER PROGRAMMING; DATA STRUCTURES; ENCAPSULATION; FORMAL LANGUAGES; FUNCTIONS; MAPPING; SYNTACTICS;

PICKLING;

EID: 9744241003     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796804005209     Document Type: Review

References (15)

1. Bell, T. C., Cleary, J. G. and Witten, I. H. (1990) Text Compression. Prentice Hall.
2. Benton, P. N. (2004) Embedded interpreters. J. Funct. Program. To appear.
3. Benton, P. N., Kennedy, A. J. and Russo, C. V. (2004) Adventures in Interoperability: The SML.NET Experience. Proceedings of 6th ACM - SIGPLAN International Conference on Principles and Practice of Declarative Programming, (to appear).
4. Bird, R. S. (1984) Using circular programs to eliminate multiple traversals of data. Acta Informatica, 21, 239-250.
5. Clarke, D., Hinze, R., Jeuring, J., Löh, A. and de Wit, J. (2001) Generic Haskell. See http://ww.generic-haskell.org/.
6. Elsman, M. (2004) Type-Specialized Serialization with Sharing. IT Universty of Copenhagen Technical Report Series, TR-2004-43.
7. Hinze, R. (2002) Polytypic values possess polykinded types. Sci. Comput. Program. 43, 129-159.
8. Hutton, G. and Meijer, E. (1998) Monadic parsing in Haskell. J. Func. Program. 8(4), 437-444.
9. Jansson, P. and Jeuring, J. (2002) Polytypic data conversion programs. Sci. Comput. Program. 43(1), 35-75.
10. Leroy, X. (2003) The Objective Caml System. http://caml.inria.fr.
11. Morrisett, G. and Haroer, R. (1995) Compiling polymorphism using intensional type analysis. ACM Symposium on Principles of Programming Languages, pp. 130-141.
12. Paulson, L. C. (1996) ML for the Working Programmer, 2nd ed. Cambridge University Press.
13. Ramsey, N. (2003) Embedding an interpreted language using higher-order functions and type. ACM SIGPLAN Workshop on Interpreters, Virtual Machines and Emulators.
14. Sun Microsystems (2002) Java Object Serialization Specification. http://java.sun.com/j2se/1.4.1/docs/guide.serialization/.
15. Wadler, P. (1985) How to replace failure by a list of successes. Proceedings of Functional Programming and Computer Architecture: LNCS 201. Springer-Verlag.