KewleyG89'

BibTeX

@inproceedings{DBLP:conf/fp/KewleyG89,
  author    = {John M. Kewley and
               Kevin Glynn},
  title     = {Evaluation Annotations for Hope$^{\mbox{+}}$},
  booktitle = {Functional Programming},
  year      = {1989},
  pages     = {329-337},
  crossref  = {DBLP:conf/fp/1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fp/1989,
  editor    = {Kei Davis and
               John Hughes},
  title     = {Functional Programming, Proceedings of the 1989 Glasgow
               Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1990},
  isbn      = {3-540-19609-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}