Monotonic References for Gradual Typing

  title={Monotonic References for Gradual Typing},
  author={Jeremy G. Siek and Michael M. Vitousek},
We describe an alternative approach to handling mutable references (aka. pointers) within a gradually typed language that has different efficiency characteristics than the prior approach of Herman et al. [2010]. In particular, we hope to reduce the costs of reading and writing through references in statically typed regions of code. We would like the costs to be the same as they would in a statically typed language, that is, simply the cost of a load or store instruction (for primitive data… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 8 times over the past 90 days. VIEW TWEETS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…