© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Functional and Declarative Programming in Education 2002
Michael Hanus, Shriram Krishnamurthy, and Simon Thompson, editors
volume 0210. Christian-Albrechts-Universitat, Kiel, October 2002.Bibtex Record
@proceedings{1607,
author = {},
title = {{Functional and Declarative Programming in Education 2002}},
month = {October},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1607},
publication_type = {proceedings},
submission_id = {20653_1049819277},
editor = {Michael Hanus and Shriram Krishnamurthy and Simon Thompson},
volume = {0210},
organization = {Christian-Albrechts-Universitat, Kiel},
}