• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Manifest Types, Modules, and Separate Compilation (1994)

Cached

  • Download as a PDF

Download Links

  • [pauillac.inria.fr]
  • [gallium.inria.fr]
  • [www-2.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.mpi-sws.org]
  • [www.cs.tufts.edu]
  • [gallium.inria.fr]
  • [pauillac.inria.fr]
  • [cristal.inria.fr]
  • [gallium.inria.fr]
  • [pauillac.inria.fr]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Xavier Leroy
Citations:217 - 7 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Leroy94manifesttypes,,
    author = {Xavier Leroy},
    title = {Manifest Types, Modules, and Separate Compilation},
    year = {1994}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

This paper presents a variant of the SML module system that introduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module specification), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compila- tion.

Keyphrases

manifest type    separate compilation    sml module system    abstract type    module specification    module system    strict distinction    separate compila tion    expressive power   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2018 The Pennsylvania State University