ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Position paper: practical foundations for lrogramming languages
Full text PdfPdf (58 KB)
Source
ACM SIGPLAN Notices archive
Volume 43 ,  Issue 11  (November 2008) table of contents
COLUMN: White papers table of contents
Pages 71-73  
Year of Publication: 2008
ISSN:0362-1340
Author
Robert Harper  Carnegie Mellon University
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 0
Additional Information:

index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1480828.1480843
What is a DOI?

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.0 General

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages


General Terms:
Languages, Theory

Collaborative Colleagues:
Robert Harper: colleagues

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

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player