SparudR97'

BibTeX

@inproceedings{DBLP:conf/ifl/SparudR97,
  author    = {Jan Sparud and
               Colin Runciman},
  title     = {Complete and Partial Redex Trails of Functional Computations},
  booktitle = {Implementation of Functional Languages},
  year      = {1997},
  pages     = {160-177},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1467/14670160.htm},
  crossref  = {DBLP:conf/ifl/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifl/1997,
  editor    = {Chris Clack and
               Kevin Hammond and
               Antony J. T. Davie},
  title     = {Implementation of Functional Languages, 9th International
               Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12,
               1997, Selected Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1467},
  year      = {1998},
  isbn      = {3-540-64849-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}