School of Computing

Pretty printing with partial continuations

Olaf Chitil

In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, pages 182-196. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005. Download publication 44 kbytes (PDF)

Bibtex Record

@inproceedings{2366,
author = {Olaf Chitil},
title = {Pretty Printing with Partial Continuations},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2366},
    publication_type = {inproceedings},
    submission_id = {28817_1140798573},
    booktitle = {Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05},
    editor = {Andrew Butterfield},
    publisher = {Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014