• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

A separate compilation extension to Standard ML (2006)

Cached

  • Download as a PDF

Download Links

  • [tom7.org]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [reports-archive.adm.cs.cmu.edu]
  • [tom7.org]
  • [www-2.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www-2.cs.cmu.edu]
  • [www.ius.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [tom7.org]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by David Swasey , Tom Murphy , Vii Karl , Crary Robert Harper
Venue:In ML Workshop 2006, September 2006. URL http://tom7.org/papers
Citations:6 - 0 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@TECHREPORT{Swasey06aseparate,
    author = {David Swasey and Tom Murphy and Vii Karl and Crary Robert Harper},
    title = {A separate compilation extension to Standard ML},
    institution = {In ML Workshop 2006, September 2006. URL http://tom7.org/papers},
    year = {2006}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on one another in a way specified by the programmer. A dependency may be mediated by an interface (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be compiled in sequence. We also propose a methodology for programming in SMLSC that reflects code development practice and avoids syntactic repetition of interfaces. The language is given a formal semantics, and we argue that this semantics is implementable in a variety of compilers.

Citations

573 The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
557 From system F to typed assembly language - Morrisett, Walker, et al. - 1999
251 A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
208 Manifest types, modules, and separate compilation - Leroy - 1994
174 Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
136 Program Fragments, Linking, and Modularization - Cardelli - 1997
100 A calculus of module systems - Ancona, Zucca
88 What are principal typings and what are they good for - Jim - 1998
80 A type-theoretic interpretation of Standard ML. Proof, language, and interaction: Essays in honor of robin milner - Harper, Stone - 2000
73 A modular module system - Leroy - 2000
57 Type-safe linking and modular assembly language - Glew, Morrisett - 1999
37 An interpretation of Standard ML in type theory - Harper, Stone - 1997
34 The cost of selective recompilation and environment processing - ADAMS, TICHY, et al. - 1994
30 Garrigue, Didier Rémy and Jéróme Vouillon: The Objective Caml System - Leroy, Doligez, et al. - 2010
26 Eric Eide. Knit: Component composition for systems software - Reid, Flatt, et al. - 2000
25 Hierarchical modularity - Blume, Appel - 1999
19 Design considerations for ML-style module systems - Harper, Pierce - 2005
14 Program modules, separate compilation, and intermodule optimisation - Elsman - 1999
14 Incremental recompilation for Standard ML of New Jersey - Harper, Lee, et al. - 1994
14 J.B.: Call-by-value mixin modules: Reduction semantics, side effects, types - Hirschowitz, Leroy, et al. - 2004
7 Dependency analysis for Standard ML - Blume - 1999
7 Type inference, principal typings, and let-polymorphism for first-class mixin modules - Makholm, Wells - 2005
5 Duggan and Constantinos Sourelis. Mixin modules - Dominic - 1996
1 CM: The SML/NJ compilation and library manager (for SML/NJ version 110.40 and later) user manual - Blume - 2002
1 Formal specification of the ML Basis system - Cejtin, Fluet, et al. - 2005
1 Mosmake version 0.9 - Makholm - 2002
1 Moscow ML owner’s manual version 2.00 - Romanenko, Russo, et al. - 2000
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

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

© 2007-2010 The Pennsylvania State University