This paper provides foundations for strong (that is, possibly under
abst...
This paper studies useful sharing, which is a sophisticated optimization...
This paper explores two topics at once: the use of denotational semantic...
A cornerstone of the theory of lambda-calculus is that intersection type...