© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Interactive Visual Functional Programming
Keith Hanna
In S Peyton Jones, editor, Proc. Intnl Conf. on Functional Programming, pages 182-196. ACM, October 2002.Bibtex Record
@inproceedings{1516, author = {Keith Hanna}, title = {{I}nteractive {V}isual {F}unctional {P}rogramming}, month = {October}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1516}, publication_type = {inproceedings}, submission_id = {14637_1033464373}, booktitle = {Proc. Intnl Conf. on Functional Programming}, editor = {S Peyton Jones}, publisher = {ACM}, refereed = {yes}, }