• 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

Types for Modules (1998)

Cached

  • Download as a PDF

Download Links

  • [www-2.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.lfcs.inf.ed.ac.uk]
  • [www.research.microsoft.com]
  • [www.lfcs.informatics.ed.ac.uk]
  • [www.dcs.ed.ac.uk]
  • [www.mpi-sws.org]
  • [www.mpi-sws.org]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.research.microsoft.com]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Claudio V. Russo
Citations:54 - 5 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1
  • Version 2
  • Version 3

Version History

Metadata Version 3

User correction supplied by SystemCorrections

DatumValueSource
TITLE Types for Modules INFERENCE
AUTHOR NAME Claudio V. Russo SVM HeaderParse 0.1
AUTHOR AFFIL ; University of Edinburgh; To Babbo, Mamma and Trish. SVM HeaderParse 0.2
ABSTRACT The programming language Standard ML is an amalgam of two, largely orthogonal, languages. The Core language expresses details of algorithms and data structures. The Modules language expresses the modular architecture of a software system. Both languages are statically typed, with their static and dynamic semantics specified by a formal definition. user correction - Legacy Corrections
YEAR 1998 SVM HeaderParse 0.1
VENUE TYPE TECHREPORT INFERENCE
TECH PhD thesis INFERENCE
CITATIONS 59 found ParsCit 1.0
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