© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Modelling Generic User Interfaces with Functional Programs
S J Cook
In M D Harrison and A F Monk, editors, Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group, pages 182-196. Cambridge University Press, 1986.Bibtex Record
@inproceedings{1234,
author = {S J Cook},
title = {{Modelling Generic User Interfaces with Functional Programs}},
month = {unknown},
year = {1986},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1986/1234},
publication_type = {inproceedings},
submission_id = {29021_999252354},
other_year = {1986},
booktitle = {Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group},
editor = {M D Harrison and A F Monk},
publisher = {Cambridge University Press},
}