DBLP Record 'conf/fp/Davie95'

BibTeX

@inproceedings{DBLP:conf/fp/Davie95,
  author    = {Antony J. T. Davie},
  title     = {Algebraic Formula Manipulation in a Functional Language:
               A First Attempt},
  booktitle = {Functional Programming},
  year      = {1995},
  pages     = {3},
  crossref  = {DBLP:conf/fp/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fp/1995,
  editor    = {David N. Turner},
  title     = {Functional Programming, Glasgow 1995},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1996},
  isbn      = {3-540-14580-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}