Quantified types in an imperative language

  title={Quantified types in an imperative language},
  author={Dan Grossman},
  journal={ACM Trans. Program. Lang. Syst.},
We describe universal types, existential types, and type constructors in Cyclone, a strongly typed C-like language. We show how the language naturally supports first-class polymorphism and polymorphic recursion while requiring an acceptable amount of explicit type information. More importantly, we consider the soundness of type variables in the presence of C-style mutation and the address-of operator. For polymorphic references, we describe a solution more natural for the C level than the ML… CONTINUE READING
10 Citations
2 References
Similar Papers


Publications referenced by this paper.
Showing 1-2 of 2 references

Safe programming at the C level of abstraction

  • D. 21–35. GROSSMAN
  • Ph.D. dissertation
  • 2003
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…