© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
Olaf Chitil, Zolt�n Horv�th, and Vikt�ria Zs�k, editors
LNCS 5083, Berlin, Heidelberg, July 2008. Springer-Verlag.Bibtex Record
@proceedings{2865,
author = {},
title = {Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers },
month = {July},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2865},
publication_type = {proceedings},
submission_id = {25798_1231947214},
editor = {Olaf Chitil and Zolt�n Horv�th and Vikt�ria Zs�k},
ISBN = {978-3-540-85372-5},
series = {LNCS 5083},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
}