Robert Harper  Home/Search
Context
Related
| cmu.edu/anon/1996/CMUCS96136R.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~fox/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A type-theoretic definition of a variant of the Standard ML (Revised 1996) programming language is given. The definition consists of a syntax-directed elaboration of SML '96 programs into a typed intermediate language. The intermediate language is an explicitly-typed -calculus with product, sum, recursive, and module types. The translation performs type reconstruction, handles identifier scope resolution, enforces static well-formedness conditions, and expands high-level constructs (such as... (Update)
Similar documents (at the sentence level):
28.0%: An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (Correct)
27.8%: An Interpretation of Standard ML in - Type Theory Robert (Correct)
Active bibliography (related documents): More All
0.3: Adventures in Interoperability: The SML.NET Experience - Nick Benton Nick (Correct)
0.3: MLj 0.2 User Guide - Benton, Kennedy, Russell (1999) (Correct)
0.1: The TIL/ML Compiler: Performance and Safety through Types - Morrisett, Tarditi.. (1996) (Correct)
Similar documents based on text: More All
0.2: Higher-Order Modules and the Phase Distinction - Harper, Mitchell, Moggi (1990) (Correct)
0.1: A Type-Theoretic Interpretation of Standard ML - Harper, Stone (1998) (Correct)
0.1: Programming in Higher-Order Typed Lambda-Calculi - Pierce, Dietzen, Michaylov (1989) (Correct)
BibTeX entry: (Update)
@techreport{ harper96typetheoretic,
author = "Robert Harper and Chris Stone",
title = "A Type-Theoretic Account of {S}tandard {ML} 1996 (Version 2)",
number = "CMU--CS--96--136R",
month = "September",
address = "Pittsburgh, PA",
year = "1996",
url = "citeseer.ist.psu.edu/harper96typetheoretic.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1996
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
306 A syntactic approach to type soundness - Wright, Felleisen - 1991
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
138 Type inference for polymorphic references (context) - Tofte - 1990
128 and separate compilation (context) - Leroy, modules - 1994
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
106 Purely Functional Data Structures - Okasaki - 1996
101 ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1993
65 A semantics for higher-order functors - MacQueen, Tofte - 1994
52 A simplified account of polymorphic references - Harper - 1993
36 School of Computer Science (context) - Morrisett, Types - 1995
7 School of Computer Science (context) - Tarditi, PhD - 1996
3 The Standard ML Basis Library reference manual (context) - Gansner, Reppy
Documents on the same site (http://www-2.cs.cmu.edu/~fox/publications.html):
A Modal Analysis of Staged Computation - Rowan Davies And (1999) (Correct)
Controlling Effects - Filinski (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC