Robert Harper, Christopher Stone  Home/Search
Context Related
| cmu.edu/people/cstone/pa...interpret.ps cmu.edu/~cstone/papers/interpret.ps cmu.edu/~cstone/papers/interpret.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/people/cstone/home (more) From: cmu.edu/~cstone/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion boundaries must be broken at run-time. Consequently, an association between the abstract stamps and their underlying representations must be maintained. In this paper we outline an interpretation of Standard ML in an explicitly-typed framework. The interpretation takes the form of a translation of Standard ML into an explicitly-typed -calculus. The target of the translation we call the internal language, or IL; the source language is then called the external language. The external language ... (Update)
Cited by: More
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
Sound and Complete Elimination of Singleton Kinds - Crary (2005) (Correct)
Modular Type Classes - Derek Dreyer Toyota (2006) (Correct)
Similar documents (at the sentence level):
76.7%: A Type-Theoretic Interpretation of Standard ML - Harper, Stone (1998) (Correct)
Active bibliography (related documents): More All
0.3: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.1: Applicative Programming and Specification - Gilmore (1993) (Correct)
0.1: Programming in Standard ML '97: A Tutorial Introduction - Gilmore (1997) (Correct)
Similar documents based on text: More All
0.6: An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (Correct)
0.5: Implementing the TILT Internal Language - Petersen, Cheng, Harper, Stone (2000) (Correct)
0.3: On The Type Structure of Standard ML - Robert Harper Carnegie-Mellon (1993) (Correct)
Related documents from co-citation: More All
25: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
23: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
19: Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
BibTeX entry: (Update)
Robert Harper and Chris Stone. A type-theoretic interpretation of Standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, 1998. To appear. http://citeseer.ist.psu.edu/article/harper98typetheoretic.html More
@incollection{ harper00typetheoretic,
author = "Robert Harper and Christopher Stone",
title = "A Type-Theoretic Interpretation of {Standard {ML}}",
booktitle = "Proof, Language and Interaction: Essays in Honour of Robin Milner",
publisher = "MIT Press",
editor = "Gordon Plotkin and Colin Stirling and Mads Tofte",
year = "2000",
url = "citeseer.ist.psu.edu/article/harper98typetheoretic.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
906 A structural approach to operational semantics - Plotkin - 1981
521 Compiling with Continuations (context) - Appel - 1992
369 Information and Computation (context) - Moggi, computation - 1991
325 Towards a theory of type structure (context) - Reynolds - 1974
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
306 A syntactic approach to type soundness - Wright, Felleisen
215 A typetheoretic approach to higher-order modules with sharin.. - Harper, Lillibridge - 1994
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
190 How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989
162 Data types as lattices (context) - Scott - 1976
157 Edinburgh LCF: a mechanised logic of computation (context) - Gordon, Milner et al. - 1979
138 Type inference for polymorphic references (context) - Tofte - 1990
128 and separate compilation (context) - Leroy, modules - 1994
106 Purely Functional Data Structures - Okasaki - 1996
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
101 ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1993
98 Using dependent types to express modular structure - MacQueen - 1986
90 Type systems - Cardelli - 1997
81 A proposal for Standard ML (context) - Milner - 1984
79 A typebased compiler for Standard ML - Shao, Appel - 1995
58 Simple imperative polymorphism - Wright - 1995
48 Translucent Sums: A Foundation for Higher-Order Module Syste.. - Lillibridge - 1997
43 A syntactic theory of type generativity and sharing - Leroy - 1996
29 Polymorphism by name for references and continuations (context) - Leroy - 1993
27 An interpretation of Standard ML in type theory - Harper, Stone - 1997
14 de l'interpr'etation de Godel `a l'analyse, et son applicati.. (context) - Girard - 1971
7 An abstract interpretation for ML equality kinds (context) - Gunter, Gunter et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://foxnet.cs.cmu.edu/people/cstone/home.html): More
Safe-for-Space Threads in Standard ML - Biagioni, Cline, Lee, Okasaki.. (1998) (Correct)
The TIL/ML Compiler: Performance and Safety through Types - Morrisett, Tarditi.. (1996) (Correct)
TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (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