HuangR95'

@inproceedings{DBLP:conf/fp/HuangR95,
  author    = {Howard Huang and
               Uday S. Reddy},
  title     = {Type Reconstruction for SCI},
  booktitle = {Functional Programming},
  year      = {1995},
  pages     = {6},
  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}
}