A separate compilation extension to standard ML

doi:10.1145/1159876.1159883

A separate compilation extension to standard ML

Full Text:

Pdf

Buy this Article

Authors:	David Swasey	Carnegie Mellon University, Pittsburgh, PA
	Tom Murphy, VII	Carnegie Mellon University, Pittsburgh, PA
	Karl Crary	Carnegie Mellon University, Pittsburgh, PA
	Robert Harper	Carnegie Mellon University, Pittsburgh, PA

	2006 Article
Bibliometrics
· Downloads (6 Weeks): 3 · Downloads (12 Months): 14 · Downloads (cumulative): 132 · Citation Count: 0

Published in:

	· Proceeding
	ML '06 Proceedings of the 2006 workshop on ML
	Pages 32 - 42 ACM New York, NY, USA ©2006 table of contents ISBN:1-59593-483-9 doi>10.1145/1159876.1159883

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- ICFP'13

Share:

|

Tags: incremental compilation languages modules, packages separate compilation standard ml syntax types

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder