A Syntactic Theory of Type Generativity and Sharing

  title={A Syntactic Theory of Type Generativity and Sharing},
  author={Xavier Leroy},
  journal={J. Funct. Program.},
This paper presents a purely syntactic account of type generativity and sharing — two key mechanisms in the SML module system — and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the SML module system in a more abstract, type-theoretic framework. 
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
45 Citations
24 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 24 references

An error in rule 55 of the definition of Standard ML

  • G. Gran
  • 1995

Generativity of names in the static semantics of Standard ML

  • C. Russo
  • 1995

Similar Papers

Loading similar papers…