Robert Harper, Chris Stone  Home/Search
Context Related
| cmu.edu/project/fox/...rwhinterpret.ps cmu.edu/afs/cs/proje...rwhinterpret.ps cmu.edu/papers/rwhinterpret.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/project/fox/mosa...papers (more) From: cmu.edu/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document are those of the authors and should not be interpreted as representing official policies, either expressed or implied, of the Advanced Research Projects Agency, the U.S. Government or the National Science Foundation. (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):
73.9%: 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: Implementing the TILT Internal Language - Petersen, Cheng, Harper, Stone (2000) (Correct)
0.1: Applicative Programming and Specification - Gilmore (1993) (Correct)
Similar documents based on text: More All
0.5: An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (Correct)
0.3: On The Type Structure of Standard ML - Robert Harper Carnegie-Mellon (1993) (Correct)
0.1: A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) (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/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/harper98typetheoretic.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
521 Compiling with Continuations (context) - Appel - 1992
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1996
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
52 A simplified account of polymorphic references - Harper - 1993
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
11 A typetheoretic account of Standard ML (context) - Harper, Stone - 1996
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://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/papers.html): More
Run-time Code Generation and Modal-ML - Wickline, Lee, Pfenning (1998) (Correct)
The Fox Project: Advanced Language Technology for.. - Harper, Lee, Pfenning (1998) (Correct)
Incremental Recompilation for Standard ML of New Jersey - Harper, Lee, Pfennig, Rollins (1994) (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