© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education
Matthias Felleisen, Michael Hanus, and Simon Thompson
Technical Report COMP TR99-346, Department of Computer Science, Rice University, August 1999.Bibtex Record
@techreport{884,
author = {Matthias Felleisen and Michael Hanus and Simon Thompson},
title = {Proceedings of the 1999 {W}orkshop on {F}unctional and {D}eclarative {P}rogramming in {E}ducation},
month = {August},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/884},
institution = {Department of Computer Science, Rice University},
number = {COMP TR99-346},
}