© 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}, }