A Semantic Model of Types for Applicative Languages

David B. MacQueen, Ravi Sethi. A Semantic Model of Types for Applicative Languages. In Symposium on LISP and Functional Programming. pages 243-252, 1982.

@inproceedings{MacQueenS82,
  title = {A Semantic Model of Types for Applicative Languages},
  author = {David B. MacQueen and Ravi Sethi},
  year = {1982},
  tags = {modeling language, language modeling},
  researchr = {https://researchr.org/publication/MacQueenS82},
  cites = {0},
  citedby = {0},
  pages = {243-252},
  booktitle = {Symposium on LISP and Functional Programming},
}