© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers
Sven-Bodo Scholz and Olaf Chitil, editors
LNCS 5836. Springer-Verlag, September 2011.Bibtex Record
@proceedings{3168,
author = {},
title = {Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers},
month = {September},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3168},
publication_type = {proceedings},
submission_id = {27213_1317203000},
editor = {Sven-Bodo Scholz and Olaf Chitil},
ISBN = {978-3-642-24451-3},
series = {LNCS 5836},
publisher = {Springer-Verlag},
}