First Steps Towards Inferential Programming

@inproceedings{Scherlis1983FirstST,
  title={First Steps Towards Inferential Programming},
  author={William L. Scherlis and Dana S. Scott},
  booktitle={IFIP Congress},
  year={1983}
}
This is a slightly revised version of a paper to appear in the proceedings of the IFIP 83 Congress. This research was supported in part by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 3597, monitored by the Air Force Avionics Laboratory under Contract F33615-81-K-1539, and in part by the U.S. Army Communications R&D Command under Contract DAAK80-81-K-0074. The views and conclusions contained in this document are those of the authors and should not be interpreted as… CONTINUE READING