Inproceedings,

A Semantic Model of Types for Applicative Languages.

, and .
Symposium on LISP and Functional Programming, page 243-252. ACM, (1982)

Meta data

Tags

Users

  • @dblp

Comments and Reviews