Compiling with Types

@inproceedings{Morrisett1995CompilingWT,
  title={Compiling with Types},
  author={Greg Morrisett},
  year={1995}
}
Compilers for monomorphic languages, such as C and Pascal, take advantage of types to determine data representations, alignment, calling conventions, and register selection. However, these languages lack important features including polymorphism, abstract datatypes, and garbage collection. In contrast, modern programming languages such as Standard ML (SML), provide all of these features, but existing implementations fail to take full advantage of types. The result is that performance of SML… CONTINUE READING
Highly Cited
This paper has 102 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

103 Citations

01020'96'01'07'13
Citations per Year
Semantic Scholar estimates that this publication has 103 citations based on the available data.

See our FAQ for additional information.

References

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

Optimizing ML

  • D. R. Tarditi
  • PhD thesis, School of Computer Science, Carnegie…
  • 1996
Highly Influential
4 Excerpts

The ML Kit, Version 1

  • L. Birkedal, N. Rothwell, M. Tofte, D. N. Turner
  • Technical Report 93/14, Department of Computer…
  • 1993
Highly Influential
4 Excerpts

Heap storage management for the programming language Pascal

  • D. E. Britton
  • Master's thesis, University of Arizona,
  • 1975
Highly Influential
10 Excerpts

Polymorphism for imperative languages without imperative types

  • A. K. Wright
  • Technical Report TR93-200, Department of Computer…
  • 1993
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…