© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Matching and modifying with generics
Neil C. C. Brown and Adam T. Sampson
In Peter Achten, Pieter Koopman, and Marco T. Moraz�n, editors, Trends in Functional Programming (TFP) 2008, pages 182-196, May 2008 Draft Proceedings. Download publication 166 kbytes (PDF)Bibtex Record
@inproceedings{2785,
author = {Neil C. C. Brown and Adam T. Sampson},
title = {Matching and Modifying with Generics},
month = {May},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Draft Proceedings},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2785},
publication_type = {inproceedings},
submission_id = {11387_1212158385},
booktitle = {Trends in Functional Programming (TFP) 2008},
editor = {Peter Achten and Pieter Koopman and Marco T. Moraz�n},
}