Type Inference and Semi-Unification. Henglein, F. In LISP and Functional Programming, pages 184-197, 1988.
Type Inference and Semi-Unification. [link]Link  Type Inference and Semi-Unification. [link]Paper  bibtex   
@inproceedings{conf/lfp/Henglein88,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Henglein, Fritz},
  biburl = {https://www.bibsonomy.org/bibtex/2d0e74c58992d771a81924fe32801151d/dblp},
  booktitle = {LISP and Functional Programming},
  ee = {https://doi.org/10.1145/62678.62701},
  interhash = {b4fe99dd0cd2f741ab7c8d5b4a7232eb},
  intrahash = {d0e74c58992d771a81924fe32801151d},
  keywords = {dblp},
  pages = {184-197},
  timestamp = {2018-11-07T12:37:26.000+0100},
  title = {Type Inference and Semi-Unification.},
  url = {http://dblp.uni-trier.de/db/conf/lfp/lfp1988.html#Henglein88},
  year = 1988
}

Downloads: 0