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