Functional unparsing

Journal of Functional Programming

Volumn 8, Issue 6, 1998, Pages 621-625

  Danvy, Olivier ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032250433     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796898003104     Document Type: Article

References (5)

1. Consel, C. and Danvy, O. (1993) Tutorial notes on partial evaluation. Proc. 20th Annual ACM Symposium on Principles of Programming Languages, Graham, S. L. (ed.), pp. 493-501. ACM Press.
2. Danvy, O. (1998) Functional unparsing (extended version). Technical Report BRICS RS-98-12, Department of Computer Science, University of Aarhus, Denmark.
3. Mairson, H. (1991) Outline of a proof theory of parametricity. Proc. 5th ACM Conference on Functional Programming and Computer Architecture, Hughes, J. (ed.), pp. 313-327. Lecture Notes in Computer Science 523. Springer-Verlag.
4. Shields, M., Sheard, T. and Jones, S. P. (1998) Dynamic typing as staged type inference. Proc. 25th Annual ACM Symposium on Principles Of Programming Languages, Cardelli, L. (ed.), pp. 289-302. ACM Press.
5. Yang, Z. (1998) Encoding types in ML-like languages (preliminary version). Technical Report BRICS RS-98-9. Department of Computer Science, University of Aarhus, Denmark.