Type Theory Robert Harper Christopher Stone June 27, 1997 CMU-CS-97-147...  Home/Search
Context
Related
| cmu.edu/~rwh/papers/ismltt/ismltt.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/~rwh/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define an interpretation of Standard ML into type theory. The interpretation takes the form of a set of elaboration rules reminiscent of the static semantics given in The Definition of Standard ML. In particular, the elaboration rules are given in a relational style, exploiting indeterminacy to avoid over-commitment to specific implementation techniques. Elaboration consists of identifier scope resolution, type checking and type inference, expansion of derived forms, pattern compilation,... (Update)
Similar documents (at the sentence level):
71.9%: An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (Correct)
25.1%: A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) (Correct)
Active bibliography (related documents): More All
0.3: Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (Correct)
0.0: Typed Cross-Module Compilation - Shao (1998) (Correct)
0.0: A Type-Theoretic Interpretation of Standard ML - Harper, Stone (1998) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ robert-interpretation,
author = "Type Theory Robert",
title = "An Interpretation of Standard ML in",
url = "citeseer.ist.psu.edu/752916.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. - 1997
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
128 and separate compilation (context) - Leroy, modules - 1994
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
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
49 Design and Implementation of Code Optimizations for a TypeDi.. (context) - Tarditi - 1996
48 Translucent Sums: A Foundation for Higher-Order Module Syste.. - Lillibridge - 1997
43 A syntactic theory of type generativity and sharing - Leroy - 1996
3 Available as CMU Technical Report CMUCS (context) - Morrisett, Types et al. - 1995
Documents on the same site (http://www.cs.cmu.edu/~rwh/papers.htm): More
On the Unusual Effectiveness of Logic in Computer Science - Halpern, Harper.. (2000) (Correct)
Adaptive Functional Programming - Acar, Blelloch, Harper (2001) (Correct)
A Performance Comparison of Interval Arithmetic and.. - Seshia, Blelloch, Harper (2000) (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